Skip to main content

Core Module Reference

Use this section to look up each core library module by import path. Each page lists the public types, constants, functions, and spec helpers exposed by that module. Many root modules are thin trusted wrappers around IC or primitive runtime operations; use their contracts as the proof interface.

Categories​

  • Pure modules: mo:core/pure/*
  • Mutable modules: mo:core/mutable/*
  • Ghost modules: mo:core/ghost/*
  • Axiom modules: mo:core/axiom/*
  • Pattern modules: mo:core/pattern/*
  • Protocol modules: mo:core/protocol/*
  • Token modules: mo:core/token/*
  • Internal modules: mo:core/internal/*
  • Root modules: mo:core/<Module>

Summary​

  • Each module has a dedicated reference page under this section.
  • Spec-only, pattern, protocol, token, and internal modules are marked as such on their pages.
  • When a page says a function is trusted, the verifier assumes the contract rather than proving the primitive implementation.