base-deriv-class(bdv) ==
let hdr,locs,T,P = bdv in restricted-baseclass(locs;hdr;T;v.P v)
Definitions :
spreadn: let w,x,y,z = a in t[w; x; y; z] ,
restricted-baseclass: restricted-baseclass(locs;h;T;v.P[v]),
apply: f a
FDL editor aliases :
base-deriv-class
base-deriv-class(bdv) == let hdr,locs,T,P = bdv in restricted-baseclass(locs;hdr;T;v.P v)
Date html generated:
2010_08_27-PM-08_07_33
Last ObjectModification:
2010_06_18-PM-05_18_59
Home
Index