lem

Lem is a tool for lightweight executable mathematics
Module Lem_show
type !'a show_class = {
show_method : 'a -> string;
}
val instance_Show_Show_string_dict : string show_class
val stringFromMaybe : ( 'a -> string ) -> 'a option -> string
val instance_Show_Show_Maybe_maybe_dict : 'a show_class -> 'a option show_class
val stringFromListAux : ( 'a -> string ) -> 'a list -> string
val stringFromList : ( 'a -> string ) -> 'a list -> string
val instance_Show_Show_list_dict : 'a show_class -> 'a list show_class
val stringFromPair : ( 'a -> string ) -> ( 'b -> string ) -> ('a * 'b) -> string
val instance_Show_Show_tup2_dict : 'a show_class -> 'b show_class -> ('a * 'b) show_class
val instance_Show_Show_bool_dict : bool show_class