Module Number.Verified_std.Pos

module Pos: S  with type t = private repr

Positive and negative numbers with and without zero.

include Number.Spec

type repr

val verify : repr -> t