package lem

  1. Overview
  2. Docs
val instance_Basic_classes_Eq_Map_map_dict : 'a -> 'v Lem_basic_classes.eq_class -> ('k, 'v) Pmap.map Lem_basic_classes.eq_class
type !'a mapKeyType_class = {
  1. mapKeyCompare_method : 'a -> 'a -> int;
}
val instance_Map_MapKeyType_var_dict : 'a Lem_basic_classes.setType_class -> 'a mapKeyType_class
val fromList : 'k mapKeyType_class -> ('k * 'v) list -> ('k, 'v) Pmap.map
val map_setElemCompare : 'a Lem_basic_classes.setType_class -> 'b Lem_basic_classes.setType_class -> 'c Lem_basic_classes.setType_class -> 'd Lem_basic_classes.setType_class -> 'f -> 'g -> (('d * 'c) Pset.set -> ('b * 'a) Pset.set -> 'e) -> ('d, 'c) Pmap.map -> ('b, 'a) Pmap.map -> 'e
val instance_Basic_classes_SetType_Map_map_dict : 'a Lem_basic_classes.setType_class -> 'b Lem_basic_classes.setType_class -> 'c -> ('a, 'b) Pmap.map Lem_basic_classes.setType_class