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
module Exp_hashtbl: 
functor (Data : Datatype.S) ->
functor (Info : State_builder.Info_with_size) -> State_builder.Hashtbl with type key = Cil_types.exp and type data = Data.t
module Kernel_function_hashtbl: 
functor (Data : Datatype.S) ->
functor (Info : State_builder.Info_with_size) -> State_builder.Hashtbl with type key = Cil_types.kernel_function and type data = Data.t