Is there any documentation available for unify_trace_failure similar to show_types and friends in the Isar-Ref? I always struggle to remember these command.
unify_trace_failure
show_types
Last updated: May 19 2024 at 04:18 UTC