Nuprl Definition : new_23_sig_update_replica
new_23_sig_update_replica(Cmd;slots) == λloc,zj,z. let n,c = zj in set-sig-add(slots) n z
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
spread: spread def,
set-sig-add: set-sig-add(s)
FDL editor aliases :
new_23_sig_update_replica
Latex:
new\_23\_sig\_update\_replica(Cmd;slots) == \mlambda{}loc,zj,z. let n,c = zj in set-sig-add(slots) n z
Date html generated:
2015_07_23-PM-03_51_56
Last ObjectModification:
2013_11_23-PM-09_56_17
Home
Index