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