(* Strbase -- internal auxiliaries for String and Substring *) local     type substring = string * int * intin     val maxlen    : int    val dropl     : (char -> bool) -> substring -> substring    val dropr     : (char -> bool) -> substring -> substring    val takel     : (char -> bool) -> substring -> substring    val taker     : (char -> bool) -> substring -> substring    val splitl    : (char -> bool) -> substring -> substring * substring    val splitr    : (char -> bool) -> substring -> substring * substring	    val translate : (char -> string) -> substring -> string	    val tokens    : (char -> bool) -> substring -> substring list    val fields    : (char -> bool) -> substring -> substring list     val foldl     : (char * 'a -> 'a) -> 'a -> substring -> 'a    val fromMLescape : (int -> (char * int) option) -> 	               (int -> (char * int) option)    val toMLescape   : char -> string    val fromCescape  : (int -> (char * int) option) -> 	               (int -> (char * int) option)    val toCescape    : char -> string    val fromCString  : string -> string option end