module Cil_state_builder:sig
..end
module Stmt_set_ref:
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