next node: SetByPredFilter,
prev node: SetByPredConstr,
up to node: Subsystem Sets By Predicate


SetByPredConv

Signature of SetByPredConv

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

SIGNATURE SetByPredConv[data]

$Date: 1998/06/16 16:00:01 $ ($Revision: 1.1.1.1 $)

-- converting infinite sets to text

-- Parameter
SORT data

IMPORT SetByPred[data] ONLY set
       String          ONLY string

FUN ` : set -> denotation
FUN ` : set -> string

-- `(s) == "some infinite set"


next node: SetByPredFilter,
prev node: SetByPredConstr,
up to node: Subsystem Sets By Predicate