package lem

  1. Overview
  2. Docs
val stringFromNatHelper : int -> char list -> char list
val stringFromNaturalHelper : Nat_big_num.num -> char list -> char list
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 : string Lem_basic_classes.ord_class