Nuprl Definition : C_type_of_field
C_type_of_field(a;ctyp) == outl(apply-alist(AtomDeq;C_Struct-fields(ctyp);a))
Definitions occuring in Statement :
C_Struct-fields: C_Struct-fields(v),
apply-alist: apply-alist(eq;L;x),
atom-deq: AtomDeq,
outl: outl(x)
FDL editor aliases :
C_type_of_field
C\_type\_of\_field(a;ctyp) == outl(apply-alist(AtomDeq;C\_Struct-fields(ctyp);a))
Date html generated:
2015_07_17-AM-07_43_36
Last ObjectModification:
2011_09_29-PM-02_12_55
Home
Index