Module Kwvalid.Num

module Num: sig .. end

Validators for Predefined Number Domains

module N: Kwvalid.Number(Kwvalid.Nat)

Natural Number Validators ℕ : (>= 1)

module W: Kwvalid.Number(Kwvalid.Whole)

Whole Number Validators 𝕎 : (>= 0)

module Z: Kwvalid.Number(Kwvalid.Int)

Integer Validators ℤ

module R: Kwvalid.Number(Kwvalid.Real)

Real Number Validators ℝ