lib/choir/src/composition/module/verification/contract.zig

daab053ee43316e1809a84551d573ddd1e5bf3d2

 1 const source = @import("../../source/root.zig");
 2 
 3 pub 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 };