Nuprl Definition : C_TYPE-rank
C_TYPE-rank(ctyp) ==
C_TYPE_ind(ctyp
Void=>0
Int=>0
Struct(fields)=>recL.Σ(recL j | j < ||fields||)
Array(length,elems)=>recA.recA + 1
Pointer(to)=>recP.recP + 1)
Definitions occuring in Statement :
C_TYPE_ind: C_TYPE_ind,
length: ||as||,
sum: Σ(f[x] | x < k),
apply: f a,
add: n + m,
natural_number: $n
FDL editor aliases :
C_TYPE-rank
C\_TYPE-rank(ctyp) ==
C\_TYPE\_ind(ctyp
Void=ɬ
Int=ɬ
Struct(fields)=>recL.\mSigma{}(recL j | j < ||fields||)
Array(length,elems)=>recA.recA + 1
Pointer(to)=>recP.recP + 1)
Date html generated:
2015_07_17-AM-07_42_59
Last ObjectModification:
2014_10_06-PM-01_07_52
Home
Index