base-prc(hdr;typ) == 
i.base-prog(typ;hdr)
Definitions occuring in Statement :
base-prog: base-prog(T;hdr),
lambda: x.A[x]
FDL editor aliases :
base-prc
base-prc
base-prc(hdr;typ) == \mlambda{}i.base-prog(typ;hdr)
Date html generated:
2011_08_17-PM-04_01_31
Last ObjectModification:
2011_08_13-PM-10_42_40
Home
Index