Module type Unsigned.Spec

val round : Round.t
val overflow : Overflow.t