wax-lib.theo
Combine.Left
Lifts a Formula from the combined theory back to theory A.
A
This functor allows you to use syntax helpers defined for theory A (like VersionLeq.Syntax) within the context of the combined BDD.
VersionLeq.Syntax
wax-lib
wax-lib.conversion
wax-lib.utils
wax-lib.wasm
wax-lib.wax
module F : Formula with type 'kind desc = 'kind t
type t = F.t
val not : t -> t
val and_ : t -> t -> t
val or_ : t -> t -> t