Module Kernel_type


module Kernel_type: sig .. end
An extension of Type with Frama-C type.
Consult the Plugin Development Guide for additional details.

Frama-C types


val big_int : Big_int.big_int Type.t
val stmt : Cil_types.stmt Type.t
val kinstr : Cil_types.kinstr Type.t
val lval : Cil_types.lval Type.t
val string_set : Cilutil.StringSet.t Type.t
val cil_file : Cil_types.file Type.t
val cabs_file : Cabs.file Type.t
val localisation : Db_types.localisation Type.t
val varinfo : Cil_types.varinfo Type.t
val varinfo_dummy : Cil_types.varinfo
val kernel_function : Db_types.kernel_function Type.t