zerot

Exports the main contract decorator for applying pre-conditions, post-conditions, and invariants.

Classes

ContractDebugger
ContractError
ContractPerformanceMonitor
ContractViolationError
OptimizedContractSystem

Interfaces

AuthContext
ContractOptions

Type Aliases

ContractCondition
ContractEnsuresCondition
ContractInvariant
ContractValidator
SessionProvider

Variables

ContractTemplates

Functions

auditLog
auth
businessRule
contract
createServerAction
owns
rateLimit
returns
setSessionProvider
smartContract
validates
withContractMiddleware