List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Seq
SIGNATURE SeqMapEnv[env,from,to]
$Date: 1998/06/16 15:59:59 $ ($Revision: 1.1.1.1 $)
-- mappings of sequences with an accumulating environment -- Parameter SORT env from to IMPORT Seq[from] ONLY seq Seq[to] ONLY seq FUN * : (env ** from -> env ** to) ** env ** seq[from] -> env ** seq[to] -- f * (e,<>) == (e,<>) -- f * (e,ft::rt) == (e2,ft1::rt1) -- WHERE (e1,ft1) == f(e,ft) -- (e2,rt1) == f * (e1,rt)
next node: SeqReduce,
prev node: SeqMap,
up to node: Subsystem Sequences Proper