package lem

  1. Overview
  2. Docs
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