module Cil_datatype: sig
.. end
Datatypes of some useful kernel types.
Consult the Plugin Development Guide for additional details.
Datatypes of some useful kernel types.
module Varinfo: S
with type t = varinfo
module Location: S
with type t = location
module Block: S
with type t = block
module Stmt: sig
.. end
module Kinstr: S
with type t = kinstr
module Lval: S
with type t = lval
module File: S
with type t = file
Datatype for a cil file.
module UntypedFiles: S
with type t = Cabs.file list
module InitInfo: S
with type t = initinfo
Hashtables for Cil types
module IntHashtbl:
module InstrHashtbl:
module StmtHashtbl:
module VarinfoHashtbl:
Sets
module StmtSet: S
with type t = Cilutil.StmtSet.t
Datatype for a set of statements.
module StmtSetRef: S
with type t = Cilutil.StmtSet.t ref
Datatype for a reference to a set of statements.
Lists
module StmtList: S
with type t = stmt list
Datatype for a set of datatypes.
Annotations
module Code_Annotation: S
with type t = code_annotation
module Logic_Info: S
with type t = logic_info
module Builtin_Logic_Info: S
with type t = builtin_logic_info
module Logic_Type_Info: S
with type t = logic_type_info
module Logic_Ctor_Info: S
with type t = logic_ctor_info
module Annot_Status: S
with type t = annot_status
module Annot_Status_List: S
with type t = annot_status list