package wax-lib

  1. Overview
  2. Docs
Libraries for Wax, a Rust-like syntax for WebAssembly

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. J
    Jérôme Vouillon

Maintainers

  1. J
    Jérôme Vouillon

Sources

wax-v0.2.0.tbz
sha256=4361e1324b7754a4c08ab5b505df32061f3ce0cea60443fd0d3699e0fa796b32
sha512=fcc756d2f160ba90a9aa1131f2ab22ed7f45466ccd658c21cf9df6868a6aab0cee7f404719d698a379958802f9820398f2fe0685ecc4dda018ca4f653294e39b

doc/wax-lib.theo/Theo/module-type-Comparable/index.html

Module type Theo.ComparableSource

Input signature for primitive theories.

Modules satisfying this interface can be lifted into BDD theories (like Leq or Eq). Users must provide standard comparison and hashing operations for their atomic types.

Sourcetype t

The type of values in the theory (e.g., string, int, Version.t).

Sourceval equal : t -> t -> bool

Equality check.

Sourceval compare : t -> t -> int

Total ordering. Returns negative if first < second, 0 if equal, positive if first > second.

Sourceval hash : t -> int

Hash function. Must be compatible with equal.

Sourceval to_string : t -> string

String representation for debugging and visualization.