Module Cil_builder.Type

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