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.