base-prog(T;hdr) == <T, Unit, 
, 
s,m.<inl s , cond-msg-body(hdr;T;m)>>
Definitions occuring in Statement :
cond-msg-body: cond-msg-body(hdr;typ;m),
it: ,
unit: Unit,
lambda: x.A[x],
pair: <a, b>,
inl: inl x
FDL editor aliases :
base-prog
base-prog(T;hdr) == <T, Unit, \mcdot{}, \mlambda{}s,m.<inl s , cond-msg-body(hdr;T;m)>>
Date html generated:
2011_08_17-PM-04_01_18
Last ObjectModification:
2011_06_29-PM-11_44_03
Home
Index