package linksem

  1. Overview
  2. Docs

Module MultimapSource

Sourcetype ('k, 'v) multimap = ('k * 'v) Pset.set
Sourcetype 'k key_equiv = 'k -> 'k -> bool
Sourceval findLowestKVWithKEquivTo : 'k Lem_basic_classes.ord_class -> 'v Lem_basic_classes.ord_class -> 'a -> 'b -> 'k -> ('k -> 'k -> bool) -> ('k * 'v) Pset.set -> ('k * 'v) option -> ('k * 'v) option
Sourceval testEquiv : Nat_big_num.num -> Nat_big_num.num -> bool
Sourceval findHighestKVWithKEquivTo : 'k Lem_basic_classes.ord_class -> 'v Lem_basic_classes.ord_class -> 'a -> 'b -> 'k -> ('k -> 'k -> bool) -> ('k * 'v) Pset.set -> ('k * 'v) option -> ('k * 'v) option
Sourceval lookupBy0 : 'k Lem_basic_classes.ord_class -> 'v Lem_basic_classes.ord_class -> 'k Lem_basic_classes.setType_class -> 'v Lem_basic_classes.setType_class -> ('k -> 'k -> bool) -> 'k -> ('k * 'v) Pset.set -> ('k * 'v) list