package theo

  1. Overview
  2. Docs

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.