tiny.choir.composition.source.verification

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

1pub const contract = @import("contract.zig");2pub const boundary = @import("boundary.zig");3pub const partition = @import("partition.zig");4pub const call = @import("call.zig");5pub const module = @import("module.zig");67pub const Error = contract.Error;8pub const verifyBoundarySpec = boundary.verifySpec;9pub const verifyPartitionSpec = partition.verifySpec;10pub const verifyCallSiteSpec = call.verifySpec;11pub const verifyModule = module.verify;