functor (V : Rel.Dom.V-> sig type t = V.t val dom : t Rel.dom end