Nuprl Definition : ohc_v1_prune_off

Nuprl Definition : ohc_v1_prune_off_units

ohc_v1_prune_off_units(Cmd) ==

lst.mapfilter(

x.outl(x);

x.isl(x);lst)

Definitions occuring in Statement : outl: outl(x), isl: isl(x), lambda:

x.A[x], mapfilter: mapfilter(f;P;L)
FDL editor aliases : ohc_v1_prune_off_units ohc_v1_prune_off_units

ohc\_v1\_prune\_off\_units(Cmd) == \mlambda{}lst.mapfilter(\mlambda{}x.outl(x);\mlambda{}x.isl(x);lst) Date html generated: 2012_02_20-PM-05_22_19 Last ObjectModification: 2012_02_13-PM-12_56_00 Home Index