Module Cil_state_builder

module Cil_state_builder: sig .. end

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 Lval_hashtbl: 
functor (Data : Datatype.S) -> 
functor (Info : State_builder.Info_with_size) -> State_builder.Hashtbl  with type key = Cil_types.lval
                         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