Nuprl Definition : es_realizer_ind_Rsframe_compseq_tag_def 11,40
es_realizer_ind_Rsframe{es realizer ind Rsframe compseq tag def:ObjectId}
es_realizer_ind_Rsframe(v11,v12,v13.rframe(v11;v12;v13);
es_realizer_ind_Rsframe(v21,v22,v23.bframe(v21;v22;v23);
es_realizer_ind_Rsframe(v31,v32,v33.aframe(v31;v32;v33);
es_realizer_ind_Rsframe(v41,v42,v43,v44,v45.pre(v41;v42;v43;v44;v45);
es_realizer_ind_Rsframe(v51,v52,v53,v54,v55,v56.sends(v51;v52;v53;v54;v55;v56);
es_realizer_ind_Rsframe(v61,v62,v63,v64,v65,v66.effect(v61;v62;v63;v64;v65;v66);
es_realizer_ind_Rsframe(v71,v72,v73.sframe(v71;v72;v73);
es_realizer_ind_Rsframe(v81,v82,v83,v84.frame(v81;v82;v83;v84);
es_realizer_ind_Rsframe(v91,v92,v93,v94.init(v91;v92;v93;v94);
es_realizer_ind_Rsframe(v101,v102,v103,v104.plus(v101;v102;v103;v104);
es_realizer_ind_Rsframe(none;
es_realizer_ind_Rsframe(L;
es_realizer_ind_Rsframe(tag;
es_realizer_ind_Rsframe(lnk)
== compseq(es_realizer_ind(Rsframe(lnk; tag; L);
== 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(sframe(lnk;tag;L)) 
latex

Definitionses realizer ind, Rsframe(lnk; tag; L)

origin