Test.LeanCheck.Instances.Natural
Contents
Description
Declares a Listable Natural instance.
Listable
Natural
Methods
tiers :: [[Natural]] #
list :: [Natural] #