List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
See Option
See Seq
See String
SIGNATURE StringConv
$Date: 1999/09/23 15:16:07 $ ($Revision: 1.2 $)
-- Conversions of strings to other data types IMPORT String ONLY string Char ONLY char Seq[char] ONLY seq FUN ` : string -> denotation FUN asSeq: string -> seq[char] FUN asString: seq[char] -> string -- old fashioned FUN ! : string -> denotation -- ! == ` FUN explode: string -> seq[char] -- explode == asSeq FUN implode: seq[char] -> string -- implode == asString
next node: Strings,
prev node: StringReduce,
up to node: Subsystem Strings