Module Cil_datatype


module Cil_datatype: sig .. end
Datatypes of some useful Cil types.
Consult the Plugin Development Guide for additional details.


Cabs types


module Cabs_file: S  with type t = Cabs.file

C types

Sorted by alphabetic order.
module Block: S  with type t = block
module Compinfo: S_with_collections  with type t = compinfo
module Enuminfo: S_with_collections  with type t = enuminfo
module Enumitem: S_with_collections  with type t = enumitem
module Exp: S_with_collections  with type t = exp
module Fieldinfo: S_with_collections  with type t = fieldinfo
module File: S  with type t = file
module Global: sig .. end
module Global_annotation: sig .. end
module Initinfo: S  with type t = initinfo
module Instr: sig .. end
module Kinstr: sig .. end
module Label: S  with type t = label
module Location: sig .. end
module Lval: sig .. end
module Stmt: sig .. end
module Typ: S_with_collections  with type t = typ
val pTypeSig : (Cil_types.typ -> Cil_types.typsig) Pervasives.ref
module Typeinfo: S_with_collections  with type t = typeinfo
module Varinfo: sig .. end

ACSL types

Sorted by alphabetic order.
module Annotation_status: S  with type t = annotation_status
module Builtin_logic_info: S_with_collections  with type t = builtin_logic_info
module Code_annotation: sig .. end
module Logic_ctor_info: S_with_collections  with type t = logic_ctor_info
module Logic_info: S_with_collections  with type t = logic_info
module Logic_type: S_with_collections  with type t = logic_type
module Logic_type_info: S_with_collections  with type t = logic_type_info
module Logic_var: S_with_collections  with type t = logic_var
module Term: S_with_collections  with type t = term

Logic_ptree

Sorted by alphabetic order.
module Lexpr: S  with type t = Logic_ptree.lexpr

Other types


module Int_hashtbl: Hashtbl  with type 'a t = 'a Inthash.t and type key = int