Skip to main content

InternetComputer

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

These are trusted IC system interfaces for execution context, instruction measurement, performance counters, and reply deadlines. Treat returned values as runtime observations and connect them to your own contracts when they affect control flow.

Import​

mo:core/InternetComputer

Status​

  • Runtime module

Public API​

Functions​

isReplicated() : Bool​

Checks the predicate described by the return contract.

Use when: a branch condition or contract needs this predicate as a named fact.

countInstructions(comp : () -> ()) : Nat64​

Reads the corresponding Internet Computer system counter or deadline.

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

performanceCounter(counter : Nat32) : Nat64​

Reads the corresponding Internet Computer system counter or deadline.

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

replyDeadline() : ?Nat​

Reads the corresponding Internet Computer system counter or deadline.

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

Summary​

  • Runtime module under mo:core/InternetComputer.
  • Exposes 4 public functions.