Parameter Core_extended__Number.Verified_std.Make_bounded_unsafe.1-Spec

val name : string
val lower : repr
val upper : repr