Nuprl Definition : ecl_ind_eclact_compseq_tag_def 0,22
ecl_ind_eclact{ecl ind eclact compseq tag def:ObjectId}
ecl_ind_eclact(v11,v12,v13.catch(v11;v12;v13);
ecl_ind_eclact(v21,v22,v23.throw(v21;v22;v23);
ecl_ind_eclact(v31,v32,v33.act(v31;v32;v33);
ecl_ind_eclact(v41,v42.repeat(v41;v42);
ecl_ind_eclact(v51,v52,v53,v54.or(v51;v52;v53;v54);
ecl_ind_eclact(v61,v62,v63,v64.and(v61;v62;v63;v64);
ecl_ind_eclact(v71,v72,v73,v74.seq(v71;v72;v73;v74);
ecl_ind_eclact(v81,v82.base(v81;v82);
ecl_ind_eclact(n;
ecl_ind_eclact(a)
== compseq
== (ecl_ind(a.n;k,test.base(k
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq(a
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;b
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec1
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and(a
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;b
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec1
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or(a
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;b
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec1
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat(a
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act(a
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;n
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw(a
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;n
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;rec1);a,l,rec1.catch(a
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;rec1);a,l,rec1.catch;l
== (ecl_ind(a.n;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;rec1);a,l,rec1.catch;rec1));
== (act(a
== (act;n
== (act;ecl_ind(a;k,test.base(k
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq(a
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;b
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec1
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and(a
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;b
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec1
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or(a
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;b
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec1
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat(a
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act(a
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;n
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw(a
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;n
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;rec1);a,l,rec1.catch(a
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;rec1);a,l,rec1.catch;l
== (act;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec2);a,rec1.repeat;rec1);a,n,rec1.act;rec1);a,n,rec1.throw;rec1);a,l,rec1.catch;rec1)))
== () 
latex

Definitionsa.n, ecl ind

origin