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,
sum: Σ(f[x] | x < k),
length: ||as||,
apply: f a,
add: n + m,
natural_number: $n
FDL editor aliases :
C_TYPE-rank
Latex:
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:
2016_05_16-AM-08_46_18
Last ObjectModification:
2014_10_06-PM-01_07_52
Theory : C-semantics
Home
Index