st-rank(st) ==
case(st)
var(v)=>0
const(t)=>0
a
b =>ra,rb.imax(ra;rb) + 1
a 
b =>ra,rb.imax(ra;rb) + 1
a + b =>ra,rb.imax(ra;rb) + 1
a list =>ra.ra + 1
Class(a) =>ra.ra + 1
Definitions occuring in Statement :
simple_type_ind: simple_type_ind,
imax: imax(a;b),
add: n + m,
natural_number: $n
Definitions :
simple_type_ind: simple_type_ind,
imax: imax(a;b),
add: n + m,
natural_number: $n
FDL editor aliases :
st-rank
st-rank(st) ==
case(st)
var(v)=ɬ
const(t)=ɬ
a{}\mrightarrow{}b =>ra,rb.imax(ra;rb) + 1
a \mtimes{} b =>ra,rb.imax(ra;rb) + 1
a + b =>ra,rb.imax(ra;rb) + 1
a list =>ra.ra + 1
Class(a) =>ra.ra + 1
Date html generated:
2011_08_17-PM-04_50_46
Last ObjectModification:
2011_02_06-PM-08_52_43
Home
Index