lem

Lem is a tool for lightweight executable mathematics
Module Lem_map
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 = {
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