Module type Number.S

module type S = sig .. end

Signature of numbers that have a verified (t) and unverified (repr) representation and a function to verify the latter.

include Number.Spec

type repr 

val verify : repr -> t