package mc2

You can search for identifiers within the package.

in-package search v0.2.0

Module `Term.Bool`Source

Sourcetype t

Sourceval both_atoms_marked : t -> bool

Did we see both polarities of this var in the same clause?

Sourceval assigned_atom : t -> Mc2_core__.Solver_types.atom option

Did we see both polarities of this var in the same clause?

if assigned and bool, return corresponding atom

Sourceval assigned_atom_exn : t -> Mc2_core__.Solver_types.atom

if assigned and bool, return corresponding atom

Sourceval pa_unsafe : t -> Mc2_core__.Solver_types.atom

Positive atom (assumes has_var t)

Sourceval na_unsafe : t -> Mc2_core__.Solver_types.atom

Positive atom (assumes has_var t)

Negative atom (assumes has_var t)

Sourceval pa : t -> Mc2_core__.Solver_types.atom

safe version of pa_unsafe, call setup_var

Sourceval na : t -> Mc2_core__.Solver_types.atom

safe version of pa_unsafe, call setup_var

safe version of na_unsafe, call setup_var

val mk_eq : 
  Mc2_core__.Solver_types.term ->
  Mc2_core__.Solver_types.term ->
  Mc2_core__.Solver_types.atom

val mk_neq : 
  Mc2_core__.Solver_types.term ->
  Mc2_core__.Solver_types.term ->
  Mc2_core__.Solver_types.atom

Sourceval is_true : t -> bool

Sourceval is_false : t -> bool