Type (frama-c.Frama_c_kernel.Cil

exception NotACType

type ('value, 'shape) typ

val of_ltyp : Cil_types.logic_type -> (unit, unit) typ

val integer : (unit, unit) typ

val real : (unit, unit) typ

val of_ctyp : Cil_types.typ -> ('v, 'v) typ

val void : ('v, 'v) typ

val bool : ('v, 'v) typ

val char : ('v, 'v) typ

val schar : ('v, 'v) typ

val uchar : ('v, 'v) typ

val int : ('v, 'v) typ

val uint : ('v, 'v) typ

val short : ('v, 'v) typ

val ushort : ('v, 'v) typ

val long : ('v, 'v) typ

val ulong : ('v, 'v) typ

val longlong : ('v, 'v) typ

val ulonglong : ('v, 'v) typ

val float : ('v, 'v) typ

val double : ('v, 'v) typ

val longdouble : ('v, 'v) typ

val ptr : ('v, 's) typ -> ('v, 'v) typ

val array : ?size:int -> ('v, 's) typ -> ('v, 's list) typ

val structure : 
  Cil_types.compinfo ->
  (Cil_types.fieldinfo -> 'a -> 'v) ->
  ('v, 'a) typ

val attribute : 
  ('v, 's) typ ->
  string ->
  Cil_types.attrparam list ->
  ('v, 's) typ

val const : ('v, 's) typ -> ('v, 's) typ

val stdlib_generated : ('v, 's) typ -> ('v, 's) typ

val cil_typ : ('v, 's) typ -> Cil_types.typ

val cil_logic_type : ('v, 's) typ -> Cil_types.logic_type