tiny.choir.composition.source.verification.contract

1pub const Error = error{2    AccessMismatch,3    BoundaryAliasMismatch,4    BoundaryContractMismatch,5    BoundarySizeMismatch,6    DuplicateBoundary,7    DuplicateCallSite,8    DuplicatePartition,9    DuplicateProductRef,10    EmptyBoundary,11    EmptyCallSite,12    EmptyPartition,13    EmptyProductRef,14    EmptyProvenance,15    InvalidBoundaryShape,16    MissingAliasBoundary,17    MissingBoundary,18    MissingPartition,19    NonCanonicalBoundaryAlias,20    OwnershipMismatch,21    PipelineMismatch,22    ProductIdentityMismatch,23    ProducedBoundaryAlias,24    ProducedAliasTarget,25    SelfBoundaryAlias,26};

1pub const contract = @import("contract.zig");