Nuprl Definition : C_field_of
C_field_of(a;ctyp) == a ∈b map(λx.(fst(x));C_Struct-fields(ctyp))
Definitions occuring in Statement :
C_Struct-fields: C_Struct-fields(v),
deq-member: x ∈b L,
map: map(f;as),
atom-deq: AtomDeq,
pi1: fst(t),
lambda: λx.A[x]
FDL editor aliases :
C_field_of
Latex:
C\_field\_of(a;ctyp) == a \mmember{}\msubb{} map(\mlambda{}x.(fst(x));C\_Struct-fields(ctyp))
Date html generated:
2016_05_16-AM-08_47_51
Last ObjectModification:
2011_09_29-PM-02_05_25
Theory : C-semantics
Home
Index