String: module { PATH: con "/dis/lib/string.dis"; # the second arg of the following is a character class # e.g., "a-zA-Z", or "^ \t\n" # (ranges indicated by - except in first position; # ^ is first position means "not in" the following class) # splitl splits just before first char in class; (s, "") if no split # splitr splits just after last char in class; ("", s) if no split # drop removes maximal prefix in class # take returns maximal prefix in class splitl: fn(s, cl: string): (string, string); splitr: fn(s, cl: string): (string, string); drop: fn(s, cl: string): string; take: fn(s, cl: string): string; in: fn(c: int, cl: string): int; # in these, the second string is a string to match, not a class splitstrl: fn(s, t: string): (string, string); splitstrr: fn(s, t: string): (string, string); # is first arg a prefix of second? prefix: fn(pre, s: string): int; tolower: fn(s: string): string; toupper: fn(s: string): string; # string to int returning value, remainder toint: fn(s: string, base: int): (int, string); # append s to end of l append: fn(s: string, l: list of string): list of string; };