wax-lib.theo
Eq.Syntax
wax-lib
wax-lib.conversion
wax-lib.utils
wax-lib.wasm
wax-lib.wax
module F : Formula with type 'kind desc = 'kind t
val eq : kind Var.t -> elt -> F.t
val (=) : kind Var.t -> elt -> F.t
val (<>) : kind Var.t -> elt -> F.t