Module Literal (.ml)

module Literal: sig .. end

module type OrderedType = sig .. end

type 'a view =

`\|`	`Eq of 'a * 'a`
`\|`	`Distinct of bool * 'a list`
`\|`	`Builtin of bool * Hstring.t * 'a list`

module type S = sig .. end

module Make: functor (X : OrderedType) -> S  with type elt = X.t

module type S_Term = sig .. end

module LT: S_Term