Module ExceptionalTestInterpreter.AI_WTO

module T : sig ... end
module M : sig ... end
val gen_pname : unit -> IR.Procname.t
val structured_program_to_cfg : UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t -> Backend__Summary.t * (string * int) M.t * IR.Procdesc.t