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-Theory/index.html

Module type Theo.TheorySource

The interface for theory atoms.

A theory T defines the type of atomic formulas (atoms) that can appear in the BDD nodes. For example, in a theory of semantic versions, T.t might represent constraints like "v < 1.0.0".

The operations equal, compare, and hash are crucial for the BDD's internal hash-consing mechanism, ensuring that equivalent formulas are physically shared.

Sourcetype _ t

The type of theory atoms. The type parameter is a phantom type used to distinguish different kinds of atoms (e.g., boolean vs integer) if needed, or ignored if the theory is uniform.

Sourceval equal : _ t -> _ t -> bool

Equality check for atoms. Must be consistent with compare and hash.

Sourceval compare : _ t -> _ t -> int

Total ordering function. Used for set/map operations and canonical ordering in BDDs.

Sourceval hash : _ t -> int

Hash function for atoms. Must be compatible with equal.

Sourceval to_string : _ t -> string

String representation for debugging.