Functor Cil_datatype.InstrHashtbl


module InstrHashtbl: 
functor (Data : Project.Datatype.S) -> S with type t = Data.t InstrHashtbl.t
Parameters:
Data : Project.Datatype.S