Definitions
GenAutomata
Sections
NuprlLIB
Doc
No mentions to report in GenAutomata
spread3
Def let x,y,z = a in t(x;y;z) == a/x,zz. zz/y,z. t(x;y;z)
Syntax:
let x,y,z = a in t(x;y;z)
has structure:
spreadn(a; x,y,z.t(x;y;z))
About:
Definitions
GenAutomata
Sections
NuprlLIB
Doc