positiveInteger function
positive_integer: the value must be an integer greater than zero.
Strings with an integer are accepted, and the output is always an int.
Implementation
LivrRule positiveInteger(List<Object?> args, RuleContext context) =>
_positiveInteger;