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

daab053ee43316e1809a84551d573ddd1e5bf3d2

 1 pub const contract = @import("contract.zig");
 2 pub const fragment = @import("fragment.zig");
 3 pub const call = @import("call.zig");
 4 pub const variant = @import("variant.zig");
 5 pub const module = @import("module.zig");
 6 
 7 pub const Error = contract.Error;
 8 pub const verifyFragmentSpec = fragment.verifySpec;
 9 pub const verifyCallSiteSpec = call.verifySpec;
10 pub const verifyCompositionVariantSpec = variant.verifySpec;
11 pub const verifyModule = module.verify;