Nuprl Definition : es_realizer_ind_Rsends_compseq_tag_def 11,40
es_realizer_ind_Rsends{es realizer ind Rsends compseq tag def:ObjectId}
es_realizer_ind_Rsends(v11,v12,v13.rframe(v11;v12;v13);
es_realizer_ind_Rsends(v21,v22,v23.bframe(v21;v22;v23);
es_realizer_ind_Rsends(v31,v32,v33.aframe(v31;v32;v33);
es_realizer_ind_Rsends(v41,v42,v43,v44,v45.pre(v41;v42;v43;v44;v45);
es_realizer_ind_Rsends(v51,v52,v53,v54,v55,v56.sends(v51;v52;v53;v54;v55;v56);
es_realizer_ind_Rsends(v61,v62,v63,v64,v65,v66.effect(v61;v62;v63;v64;v65;v66);
es_realizer_ind_Rsends(v71,v72,v73.sframe(v71;v72;v73);
es_realizer_ind_Rsends(v81,v82,v83,v84.frame(v81;v82;v83;v84);
es_realizer_ind_Rsends(v91,v92,v93,v94.init(v91;v92;v93;v94);
es_realizer_ind_Rsends(v101,v102,v103,v104.plus(v101;v102;v103;v104);
es_realizer_ind_Rsends(none;
es_realizer_ind_Rsends(g;
es_realizer_ind_Rsends(dt;
es_realizer_ind_Rsends(l;
es_realizer_ind_Rsends(T;
es_realizer_ind_Rsends(knd;
es_realizer_ind_Rsends(ds)
== compseq(es_realizer_ind(Rsends(ds; knd; T; l; dt; g);
== compseq(es_realizer_ind(none;
== compseq(es_realizer_ind(left,right,rec1,rec2.plus(left;right;rec1;rec2);
== compseq(es_realizer_ind(loc,T,x,v.init(loc;T;x;v);
== compseq(es_realizer_ind(loc,T,x,L.frame(loc;T;x;L);
== compseq(es_realizer_ind(lnk,tag,L.sframe(lnk;tag;L);
== compseq(es_realizer_ind(loc,ds,knd,T,x,f.effect(loc;ds;knd;T;x;f);
== compseq(es_realizer_ind(ds,knd,T,l,dt,g.sends(ds;knd;T;l;dt;g);
== compseq(es_realizer_ind(loc,ds,a,p,P.pre(loc;ds;a;p;P);
== compseq(es_realizer_ind(loc,k,L.aframe(loc;k;L);
== compseq(es_realizer_ind(loc,k,L.bframe(loc;k;L);
== compseq(es_realizer_ind(loc,x,L.rframe(loc;x;L));
== compseq(sends(ds;knd;T;l;dt;g)) 
latex

Definitionses realizer ind, Rsends(ds; knd; T; l; dt; g)

origin