Frama-C API - Type
val of_ltyp : Cil_types.logic_type -> (unit, unit) typval integer : (unit, unit) typval real : (unit, unit) typval of_ctyp : Cil_types.typ -> ('v, 'v) typval void : ('v, 'v) typval bool : ('v, 'v) typval char : ('v, 'v) typval schar : ('v, 'v) typval uchar : ('v, 'v) typval int : ('v, 'v) typval uint : ('v, 'v) typval short : ('v, 'v) typval ushort : ('v, 'v) typval long : ('v, 'v) typval ulong : ('v, 'v) typval longlong : ('v, 'v) typval ulonglong : ('v, 'v) typval float : ('v, 'v) typval double : ('v, 'v) typval longdouble : ('v, 'v) typval structure : Cil_types.compinfo -> (Cil_types.fieldinfo -> 'a -> 'v) -> ('v, 'a) typval attribute : ('v, 's) typ -> string -> Cil_types.attrparam list -> ('v, 's) typval cil_typ : ('v, 's) typ -> Cil_types.typval cil_logic_type : ('v, 's) typ -> Cil_types.logic_type