AltErgoLib.Xliteral
type builtin = Symbols.builtin =
| LE
| LT
| IsConstr of Hstring.t
type 'a view =
| Eq of 'a * 'a
| Distinct of bool * 'a list
| Builtin of bool * builtin * 'a list
| Pred of 'a * bool
type 'a atom_view
module type OrderedType = sig ... end
module type S = sig ... end
module Make (X : OrderedType) : S with type elt = X.t