wax-lib.theo
Combine.Right
Lifts a Formula from the combined theory back to theory B.
B
This functor allows you to use syntax helpers defined for theory B (like StringEq.Syntax) within the context of the combined BDD.
StringEq.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