package sibylfs-lem

  1. Overview
  2. Docs
type !'a show_class = {
  1. show_method : 'a -> string;
}
val natToStringHelper : int -> char list -> char list
val natToString : int -> string
val instance_String_extra_Show_nat_dict : int show_class
val naturalToStringHelper : Big_int.big_int -> char list -> char list
val naturalToString : Big_int.big_int -> string
val instance_String_extra_Show_Num_natural_dict : Big_int.big_int show_class
val stringLess : 'a -> 'a -> bool
val stringLessEq : 'a -> 'a -> bool
val stringGreater : 'a -> 'a -> bool
val stringGreaterEq : 'a -> 'a -> bool
val instance_Basic_classes_Ord_string_dict : 'a Lem_basic_classes.ord_class