theory API

theory は Luna-Flow/stella の一部です。このページでは、現在のブランチで実装されている公開型、コンストラクタ、関数、trait、および可観測セマンティクスを記述します。

範囲

• ソース境界: doc/doc_en.typ
• 想定読者: 公開契約に依存する利用者、統合担当者、保守者
• 状態: active

公開契約

• 今日存在する公開挙動だけを記述する。
• バックエンドや実行経路に可観測差異がある場合は明記する。
• 可能な限り、兄弟モジュールと命名・引数順・エラー意味論をそろえる。