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 unit : ( '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