parseInt

Mathlib.Tactic.Sat.FromLRAT

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Sat.Parser.parseInt

Lean4

/-- Parse an integer -/
def parseInt : String.Parser Int := do
  if (← peek!) = '-' then
    skip;
    pure <| -(← parseNat)
  else
    parseNat

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru