Browse documentation DSL · Types type_positive_integer View on GitHub Definition type_positive_integer() : PositiveIntegerType