Skip to main content

Ora Type System Specification v0.11

The complete formal specification for Ora's type system.

Download​

Download PDF: Ora Type System Specification v0.11

Overview​

This specification document provides a comprehensive formal definition of Ora's type system, including:

  • Memory regions (storage, memory, calldata, transient)
  • Type system rules and semantics
  • Refinement types
  • Affine types and ownership
  • Type inference and checking
  • Region transitions and coercions