Make_builder (gillian.Debugger_utils.Match_map.Make

Parameters

module Verification : Engine.Verifier.S

val f : 
  Gillian.Logging.Report_id.t ->
  Engine.Matcher.match_kind * Debugger_utils__.Match_map_intf.Types.map

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