Nuprl Definition : C_Struct-fields

C_Struct-fields(v) ==  snd(v)


Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  C_Struct-fields
Latex:
C\_Struct-fields(v)  ==    snd(v)


Date html generated: 2016_05_16-AM-08_44_55
Last ObjectModification: 2014_06_02-PM-05_25_31

Theory : C-semantics


Home Index