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