lem

Lem is a tool for lightweight executable mathematics
val instance_Show_Show_nat_dict : int Lem_show.show_class
val instance_Show_Show_Num_natural_dict : Nat_big_num.num Lem_show.show_class
val instance_Show_Show_Num_int_dict : int Lem_show.show_class
val instance_Show_Show_Num_integer_dict : Nat_big_num.num Lem_show.show_class
val stringFromSet : 'a -> ( 'b -> string ) -> 'b Pset.set -> string
val stringFromRelation : 'a Lem_basic_classes.eq_class -> 'a Lem_basic_classes.setType_class -> ( ('a * 'a) -> string ) -> ('a * 'a) Pset.set -> string
val instance_Show_Show_set_dict : 'a Lem_show.show_class -> 'b -> 'a Pset.set Lem_show.show_class