next node: StringFormat,
prev node: BTUnion,
up to node: Subsystem String Formatting And Scanning


BTUnionConv

Signature of BTUnionConv

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

SIGNATURE BTUnionConv

$Date: 1999/09/23 15:16:05 $ ($Revision: 1.2 $)

--

-- Converting union and seq[union] to denotation

IMPORT BTUnion ONLY union 
       Seq[union] ONLY seq      

FUN ` : union -> denotation
--  format: "<type>:" type`

FUN ` : seq[union] -> denotation
-- instantiated ` from SeqConv


next node: StringFormat,
prev node: BTUnion,
up to node: Subsystem String Formatting And Scanning