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 (1)

Authors

  1. J
    Jérôme Vouillon

Maintainers

  1. J
    Jérôme Vouillon

Sources

wax-0.1.0.tbz
sha256=41b580846af8d41bdf6c3f005f62e38feda3e60fe2e9e4aa440db34ce515a153
sha512=4b3a181fcc7d743194a8647260870fb5190770066a197bcc48104c2b77fd40c643228b795c2bcd6b29a120820e969eb42a37a9bcec98b3f608d13f152d9f6579

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.