Module `Sidekick_base.Th_lra`

Theory of Linear Rational Arithmetic

module T = Sidekick_core.Term

module Q = Sidekick_zarith.Rational

val mk_eq : Sidekick_core.Term.store -> Form.term -> Form.term -> Form.term

val mk_bool : Sidekick_core_logic.Term.store -> Sidekick_core_logic.Term.t

val theory : Solver.theory