tiny.choir.composition.module.verification.contract

1const source = @import("../../source/root.zig");23pub const Error = source.VerificationError ||4    @import("../../../product/root.zig").ProductMetadataError || error{5    AbiMismatch,6    ConflictingProductKey,7    DuplicateCallSite,8    DuplicateExport,9    DuplicateFragment,10    DuplicateImport,11    DuplicatePartitionFragment,12    DuplicateCompositionVariant,13    DuplicateTargetChoice,14    EmptyArtifact,15    EmptyExport,16    EmptyImport,17    EmptyPolicyIdentity,18    EmptyTargetIdentity,19    FragmentOutsideVariant,20    MissingArtifact,21    MissingExport,22    MissingFragment,23    MissingImport,24    MissingPartitionFragment,25    MissingCompositionVariant,26    MissingProvidedSymbol,27    MissingRequiredSymbol,28    MissingSemanticCallSite,29    RuntimeSymbolMismatch,30    SemanticCallSiteMismatch,31    TooManyResources,32    UnreferencedFragment,33};

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