Mugen.Theory
Semantic comparators for free level expressions
module type Param = sig ... end
Parameters of the theory.
module type S = sig ... end
The signature of the theory.
module Make (P : Param) : S with type shift := P.Shift.t and type var := P.var
The implementation of the theory.