module Cil_computation:Functors for building computations which use kernel datatypes.sig
..end
module StmtSetRef:
module IntHashtbl:functor (
Data
:
Project.Datatype.S
) ->
functor (
Info
:
Signature.NAME_SIZE_DPDS
) ->
Computation.HASHTBL_OUTPUT
with type key = int and type data = Data.t
module InstrHashtbl:functor (
Data
:
Project.Datatype.S
) ->
functor (
Info
:
Signature.NAME_SIZE_DPDS
) ->
Computation.HASHTBL_OUTPUT
with type key = Cil_types.kinstr and type data = Data.t
module StmtHashtbl:functor (
Data
:
Project.Datatype.S
) ->
functor (
Info
:
Signature.NAME_SIZE_DPDS
) ->
Computation.HASHTBL_OUTPUT
with type key = Cil_types.stmt and type data = Data.t
module VarinfoHashtbl:functor (
Data
:
Project.Datatype.S
) ->
functor (
Info
:
Signature.NAME_SIZE_DPDS
) ->
Computation.HASHTBL_OUTPUT
with type key = Cil_types.varinfo and type data = Data.t
module CodeAnnotationHashtbl:functor (
Data
:
Project.Datatype.S
) ->
functor (
Info
:
Signature.NAME_SIZE_DPDS
) ->
Computation.HASHTBL_OUTPUT
with type key = Cil_types.code_annotation and type data = Data.t