prior-init-prc(A;Xpr;init) ==
  TERMOF{primed-class-opt-locally-programmable:o, 1:l, 1:l} A init Xpr
Definitions occuring in Statement : 
apply: f a
FDL editor aliases : 
prior-init-prc
prior-init-prc(A;Xpr;init)  ==    TERMOF\{primed-class-opt-locally-programmable:o,  1:l,  1:l\}  A  init  Xpr
Date html generated:
2011_08_16-PM-06_34_11
Last ObjectModification:
2011_08_13-PM-09_40_29
Home
Index