Nuprl Definition : RankEx4co
RankEx4co() == corec(X.lbl:Atom × if lbl =a "Foo" then ℤ + X else Void fi )
Definitions occuring in Statement :
corec: corec(T.F[T]),
ifthenelse: if b then t else f fi ,
eq_atom: x =a y,
product: x:A × B[x],
union: left + right,
int: ℤ,
token: "$token",
atom: Atom,
void: Void
FDL editor aliases :
RankEx4co
Latex:
RankEx4co() == corec(X.lbl:Atom \mtimes{} if lbl =a "Foo" then \mBbbZ{} + X else Void fi )
Date html generated:
2016_05_16-AM-09_03_15
Last ObjectModification:
2014_05_06-AM-11_44_40
Theory : C-semantics
Home
Index