next node: StringReduce,
prev node: StringMap,
up to node: Subsystem Strings


StringMapSeq

Signature of StringMapSeq

List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
See Option
See Seq
See String

SIGNATURE StringMapSeq[to]

$Date: 1998/06/16 15:59:58 $ ($Revision: 1.1.1.1 $)

-- mappings of strings to sequences

-- Parameter 

SORT to

IMPORT String ONLY string
       Char ONLY char
       Seq[to]   ONLY seq

FUN * : (char -> to) ** string -> seq[to]                       
        -- f * s
        -- apply f to all elements of s


next node: StringReduce,
prev node: StringMap,
up to node: Subsystem Strings