Module Rel_list

module Rel_list: sig .. end
Relational lists


Lists


module type EL = sig .. end
The type for list elements
module Make_el: 
functor (V : Rel.Dom.V) -> EL with type t = V.t
Make_el (V) are list elements from the domainable module V.
module Make: 
functor (E : EL) -> sig .. end
Make (E) is a module for relational lists with elements of type E.