Module type Rel_list.EL

module type EL = sig .. end
The type for list elements

type t 
val dom : t Rel.dom