Test.LeanCheck.Function.Periodic
functions
functionsz
lsPeriodsOf
lsPeriodsOfLimit
isPeriod
isPeriodOf
tiersOfLimit
pairsToFunction