leancheck-instances-0.0.1: Common LeanCheck instances
Test.LeanCheck.Instances.Natural
Contents
Methods
tiers :: [[Natural]] #
list :: [Natural] #