summaryrefslogtreecommitdiff
path: root/lib/ocaml_rts/linksem/src_lem_library/xstring.mli
blob: aa9182d72abdde9ebfd4117b2f5b290edd5a26e1 (plain)
1
2
3
4
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