JqwikShortRange

typealias JqwikShortRange = ShortRange