Module spec/numeric
spec/numeric
Stability: unstable — Phase 0 identity stubs, outside the std stability promise entirely. Expect ANY change, including removal, when the Phase 2 verifier lands. The section exists so `yo doc` reports it: the warning above is prose, and a consumer keyed on the machine-readable stability channel read these two modules as frozen std surface. — stable modules only change additively; this one may still change.
EXPERIMENTAL — not covered by the std stability promise (audit spec/ verdict: FREEZE AS DOC). These are Phase 0 identity stubs from plans/backlog/FORMAL_VERIFICATION.md; refinement predicates arrive with the Phase 2+ verifier. Expect ANY change here, including removal.
Stability
unstable — Phase 0 identity stubs, outside the std stability promise
entirely. Expect ANY change, including removal, when the Phase 2 verifier
lands. The section exists so yo doc reports it: the warning above is
prose, and a consumer keyed on the machine-readable stability channel read
these two modules as frozen std surface.
Types
Even
type-function
fn(T : Type) -> Type
Even integer.
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
Odd
type-function
fn(T : Type) -> Type
Odd integer.
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
Positive
type-function
fn(T : Type) -> Type
Strictly positive value (> 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
Negative
type-function
fn(T : Type) -> Type
Strictly negative value (< 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
NonNegative
type-function
fn(T : Type) -> Type
Non-negative value (>= 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
NonPositive
type-function
fn(T : Type) -> Type
Non-positive value (<= 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |