tiny.choir.composition.module.verification

1pub const verification = @import("verification/root.zig");

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