bind-prc(A;B;Xpr;Ypr) ==
  TERMOF{bind-class-locally-programmable:o, 1:l, 1:l} A B Xpr Ypr
Definitions occuring in Statement : 
apply: f a
FDL editor aliases : 
bind-prc
bind-prc(A;B;Xpr;Ypr)  ==    TERMOF\{bind-class-locally-programmable:o,  1:l,  1:l\}  A  B  Xpr  Ypr
Date html generated:
2011_08_16-PM-06_33_41
Last ObjectModification:
2011_08_12-PM-06_43_20
Home
Index