Make_builder (gillian.Debugger_utils.Match_map.Make

Parameters

module Verification : Engine.Verifier.S

val f : Gillian.Logging.Report_id.t -> Debugger_utils__.Match_map_intf.Types.t

Given the ID of a matching, build the representative matching map