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

State for the arithmetic procedures.

• offset : Offset.State
• cutsat : Cutsat.State

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

Equations

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