Parameter Core_extended.Extended_int.Make_bounded.1-Spec

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