package wax-lib

You can search for identifiers within the package.

in-package search v0.2.0

Libraries for Wax, a Rust-like syntax for WebAssembly

Install

dune-project

Dependency

sha256=41b580846af8d41bdf6c3f005f62e38feda3e60fe2e9e4aa440db34ce515a153

sha512=4b3a181fcc7d743194a8647260870fb5190770066a197bcc48104c2b77fd40c643228b795c2bcd6b29a120820e969eb42a37a9bcec98b3f608d13f152d9f6579

type t

The type of values in the theory (e.g., 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.

val to_string : t -> string

String representation for debugging and visualization.