IdrisDoc
: Text.Quantity
Index
Text.Quantity
Qty
:
(
min
:
Nat
) -> (
max
:
Maybe
Nat
) ->
Quantity