Parameter Core_extended__Number.Make_verified_std.Make_bounded_unsafe.1-Spec

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