package wax-lib

  1. Overview
  2. Docs
package wax-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.