Browse documentation DSL · Types type_positive_integer View on GitHub Definition /** * @return Type<int<0, max>> */ type_positive_integer() : Type