module Reify: sig
.. end
val boolean : ?delay_on_negation:bool -> Facile.Cstr.t -> Facile.Var.Fd.t
val cstr : ?delay_on_negation:bool -> Facile.Cstr.t -> Facile.Var.Fd.t -> Facile.Cstr.t
val (||~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val (&&~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val (<=>~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val xor : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val not : Facile.Cstr.t -> Facile.Cstr.t
val (=>~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t