gillian » Gillian » Debugger » Utils » Match_map » Make_builder

Module Match_map.Make_builder

Parameters

moduleVerification : Engine.Verifier.S

Signature

val f :
  ?pp_asrt:Gil_syntax.Asrt.atom Fmt.t ->
  Logging.Report_id.t ->
  Debugger_utils__.Match_map_intf.Types.t

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