Nuprl Definition : rec-bind-class-arg

rec-bind-class-arg(X;Y;a) == rec-bind-class(X;Y) a

Definitions occuring in Statement : rec-bind-class: rec-bind-class(X;Y), apply: f a
FDL editor aliases : rec-bind-class-arg

Latex:
rec-bind-class-arg(X;Y;a) == rec-bind-class(X;Y) a Date html generated: 2015_07_21-PM-03_15_49 Last ObjectModification: 2012_04_09-PM-04_35_14 Home Index