Containers.RelationSourceRelation - Relations (or multimaps) between ordered sets.
module Make
(Dom : RelationSig.OrderedType)
(CoDom : RelationSig.OrderedType) :
RelationSig.S
with type dom = Dom.t
and type codom = CoDom.t
and module CoDomSet = SetExt.Make(CoDom)Generic functor to build a relation data-type from an ordered domain to an ordered codomain.