IdrisDoc: Text.Quantity

Text.Quantity

Qty : (min : Nat) -> (max : Maybe Nat) -> Quantity