Module type Number.Verified_spec

module type Verified_spec = sig .. end

Specification of numbers with constraint checks

include Number.Spec

val check : t -> (unit, string) Core.Result.t