package mc2

  1. Overview
  2. Docs

Some builtins

This plugin is always included automatically

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
OCaml

Innovation. Community. Security.