tokitai-operator 0.1.0

Verified DL kernel compiler: formally-checked GEMM, p-adic, sheaf, contract-carrying ops. Paper-artifact grade.
Documentation
1
2
3
4
5
6
7
8
9
10
//! Re-exports of the domain-level contract primitives.
//!
//! This module is a thin re-export shim so the `op` module tree does
//! not need to re-declare `Claim`, `Condition`, `Contract`,
//! `ContractId`, `ContractSet`, `Evidence`, and `Scope`. The
//! authoritative definitions live in `src/domain/contract.rs`. The
//! op modules consume these types in their `required_contracts` and
//! `provided_contracts` methods.
//!
pub use crate::domain::{Claim, Condition, Contract, ContractId, ContractSet, Evidence, Scope};