sig type t val dom : Rel_list.EL.t Rel.dom end