Skip to main content

Module function_contract

Module function_contract 

Source
Expand description

Function-owned dependency and semantic contracts.

Dependency precision remains optional. Semantic contracts classify call-site behavior without making function names an eligibility authority.

Structs§

CriteriaAggregationDependencyContract
FunctionDependencyContract
FunctionSemanticContract
FunctionSemanticIdentity

Enums§

CriteriaValueRange
FunctionArgumentDependencyContract
FunctionArgumentDependencyRole
FunctionArityRule
FunctionContextDependence
FunctionDependencyClass
FunctionDependencySemantics
FunctionEnvironmentSemantics
FunctionEvaluationSemantics
FunctionResultSemantics