wax-lib.theo
Theo.Var
Global unique variables.
wax-lib
wax-lib.conversion
wax-lib.utils
wax-lib.wasm
wax-lib.wax
type 'kind t
The type of variables. The type parameter indicates the kind of value (bool, string, etc.).
val fresh : unit -> 'kind t
Create a fresh variable with a globally unique identifier.
val equal : 'kind t -> 'kind t -> bool
val compare : 'kind t -> 'kind t -> int
val hash : 'kind t -> int