Skip to main content

Debug

Reference for mo:core/Debug in the core library.

Debug helpers are runtime-only escape hatches. Keep them out of proof-critical paths unless the contract explicitly states the intended effect.

Import​

mo:core/Debug

Status​

  • Runtime module

Public API​

Functions​

print(text : Text)​

Emits diagnostic text through the debug output channel.

Use when: code or specifications need this operation with the documented contract.

todo() : None​

Traps with a standard "not implemented" message.

Contract

ensures false;

Use when: a placeholder must be unreachable in verified code; the ensures false contract makes any reachable call a proof obligation.

Summary​

  • Runtime module under mo:core/Debug.
  • Exposes 2 public functions.