package aez

  1. Overview
  2. Docs
module type OrderedType = sig ... end
type !'a view =
  1. | Eq of 'a * 'a
  2. | Distinct of bool * 'a list
  3. | Builtin of bool * Hstring.t * 'a list
module type S = sig ... end
module Make (X : OrderedType) : sig ... end
module type S_Term = sig ... end
module LT : S_Term