dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Misc . Strings
val to_list : string -> char list

Explode the string into a list of characters.

val is_suffix : suffix:string -> string -> bool

Check whether a string is a suffix of another.