Module Kwapp.Valid.Num

module Num: sig .. end

module N: Kwapp.Valid.Number(Kwapp.Valid.Nat)

module W: Kwapp.Valid.Number(Kwapp.Valid.Whole)

module Z: Kwapp.Valid.Number(Kwapp.Valid.Int)

module R: Kwapp.Valid.Number(Kwapp.Valid.Real)