Debugging helper functions #
@[never_extract, extern lean_dbg_stack_trace]
Print stack trace to stderr before evaluating given closure. Currently supported on Linux only.
Init.Util
Print stack trace to stderr before evaluating given closure. Currently supported on Linux only.