← Mathematical handbook

structure Lean.Meta.Grind.Arith.State : Type

State for the arithmetic procedures.

@[instance_reducible]

instance Lean.Meta.Grind.Arith.instInhabitedState : Inhabited State

Equations

• Lean.Meta.Grind.Arith.instInhabitedState = { default := Lean.Meta.Grind.Arith.instInhabitedState.default }