InvRelation (p.mopsa.1.2.doc.mopsa.mopsa_utils.Mopsa

mopsa
- CHANGELOG
- README
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library parsing
  - Parsing
- Library passes
  - Passes
- Sources

module Make
  (Dom : InvRelationSig.OrderedType)
  (CoDom : InvRelationSig.OrderedType) : 
  InvRelationSig.S
    with type dom = Dom.t
     and type codom = CoDom.t
     and module DomSet = SetExt.Make(Dom)
     and module CoDomSet = SetExt.Make(CoDom)

Generic functor to build a relation data-type from an ordered domain to an ordered codomain.