Nuprl Definition : ecl_ind_eclcatch_compseq_tag_def 0,22
ecl_ind_eclcatch{ecl ind eclcatch compseq tag def:ObjectId}
ecl_ind_eclcatch(v11,v12,v13.catch(v11;v12;v13);
ecl_ind_eclcatch(v21,v22,v23.throw(v21;v22;v23);
ecl_ind_eclcatch(v31,v32,v33.act(v31;v32;v33);
ecl_ind_eclcatch(v41,v42.repeat(v41;v42);
ecl_ind_eclcatch(v51,v52,v53,v54.or(v51;v52;v53;v54);
ecl_ind_eclcatch(v61,v62,v63,v64.and(v61;v62;v63;v64);
ecl_ind_eclcatch(v71,v72,v73,v74.seq(v71;v72;v73;v74);
ecl_ind_eclcatch(v81,v82.base(v81;v82);
ecl_ind_eclcatch(l;
ecl_ind_eclcatch(a)
== compseq
== (ecl_ind(eclcatch(a;l);k,test.base(k
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq(a
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;b
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;rec1
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and(a
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;b
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec1
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or(a
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;b
== (ecl_ind(eclcatch(a;l);k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec2);a,b,rec1,rec2.or;rec1
== (ecl_ind(eclcatch(a;l);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(eclcatch(a;l);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(eclcatch(a;l);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(eclcatch(a;l);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(eclcatch(a;l);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(eclcatch(a;l);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(eclcatch(a;l);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(eclcatch(a;l);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));
== (catch(a
== (catch;l
== (catch;ecl_ind(a;k,test.base(k
== (catch;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq(a
== (catch;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;b
== (catch;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec1
== (catch;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and(a
== (catch;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;b
== (catch;ecl_ind(a;k,test.base;test);a,b,rec1,rec2.seq;rec2);a,b,rec1,rec2.and;rec1
== (catch;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
== (catch;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
== (catch;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
== (catch;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
== (catch;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
== (catch;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
== (catch;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
== (catch;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
== (catch;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
== (catch;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
== (catch;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

Definitionseclcatch(a;l), ecl ind

origin