lem

Lem is a tool for lightweight executable mathematics
Module Xstring
val explode : string -> char list
val implode : char list -> string
val cons_string : char -> string -> string
val string_case : string -> 'a -> ( char -> string -> 'a ) -> 'a