Functor Rel_list.Make_el

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.
Parameters:
V : Rel.Dom.V

type t 
val dom : t Rel.dom