package sibylfs-lem

  1. Overview
  2. Docs
val instance_Basic_classes_Eq_Map_map_dict : 'a -> 'b Lem_basic_classes.eq_class -> ('c, 'b) 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 : 'a mapKeyType_class -> ('a * 'b) list -> ('a, 'b) Pmap.map