Nuprl Definition : simple-hdf-bind
simple-hdf-bind(X;Y) == mk-hdf(p,a.simple-bind-nxt(Y; p; a);p.let X,ys = p in ff;<X, {}>)
Definitions occuring in Statement :
simple-bind-nxt: simple-bind-nxt(Y; p; a),
mk-hdf: mk-hdf(s,m.G[s; m];st.H[st];s0),
bfalse: ff,
spread: spread def,
pair: <a, b>,
empty-bag: {}
FDL editor aliases :
simple-hdf-bind
simple-hdf-bind(X;Y) == mk-hdf(p,a.simple-bind-nxt(Y; p; a);p.let X,ys = p in ff;<X, \{\}>)
Date html generated:
2015_07_17-AM-08_07_17
Last ObjectModification:
2012_11_23-PM-02_10_05
Home
Index