Module Number.Verified_std.Pos_unsafe

module Pos_unsafe: S  with type t = repr

include Number.Spec

type repr 

val verify : repr -> t