package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Containers.Relation`

Relation - 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.

package mopsa

Module Containers.Relation

Module `Containers.Relation`