base-deriv-type(bdv) == let hdr,locs,T,P = bdv in {v:T| 
(P v)}
Definitions :
spreadn: let w,x,y,z = a in t[w; x; y; z] ,
set: {x:A| B[x]} ,
assert: b,
apply: f a
FDL editor aliases :
base-deriv-type
base-deriv-type(bdv) == let hdr,locs,T,P = bdv in \{v:T| \muparrow{}(P v)\}
Date html generated:
2010_08_27-PM-08_07_29
Last ObjectModification:
2010_06_18-PM-04_55_08
Home
Index