Module Cil_state_builder

module Cil_state_builder: sig .. end

Functors for building computations which use kernel datatypes.
Consult the Plugin Development Guide for additional details.

module Stmt_set_ref: functor (Info : State_builder.Info) -> State_builder.Set_ref  with type elt = Cil_types.stmt

module Kinstr_hashtbl: functor (Data : Datatype.S) -> functor (Info : State_builder.Info_with_size) -> State_builder.Hashtbl  with type key = Cil_types.kinstr and type data = Data.t

module Stmt_hashtbl: functor (Data : Datatype.S) -> functor (Info : State_builder.Info_with_size) -> State_builder.Hashtbl  with type key = Cil_types.stmt and type data = Data.t

module Varinfo_hashtbl: functor (Data : Datatype.S) -> functor (Info : State_builder.Info_with_size) -> State_builder.Hashtbl  with type key = Cil_types.varinfo
			and type data = Data.t