Module `Mc2_core.Builtins`

Some builtins

val k_true : Mc2_core__.Solver_types.term Service.Key.t: Trivial boolean term

val k_false : Mc2_core__.Solver_types.term Service.Key.t

Trivial boolean term

Absurd boolean term

val plugin : Plugin.Factory.t