bounded-integer (cargo): Bounded integers
Keywords: refinement|integer|bounded|macro