wax-lib.theo
Leq.C
wax-lib
wax-lib.conversion
wax-lib.utils
wax-lib.wasm
wax-lib.wax
type t
The type of values in the theory (e.g., string, int, Version.t).
string
int
Version.t
val equal : t -> t -> bool
Equality check.
val compare : t -> t -> int
Total ordering. Returns negative if first < second, 0 if equal, positive if first > second.
val hash : t -> int
Hash function. Must be compatible with equal.
equal
val to_string : t -> string
String representation for debugging and visualization.