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