Documentation

Mathlib.Testing.Plausible.Sampleable

This module contains Plausible.Shrinkable and Plausible.SampleableExt instances for mathlib types.

source
instance Plausible.Rat.shrinkable :
Shrinkable Rat
Equations
    source
    instance Plausible.PNat.shrinkable :
    Shrinkable ℕ+
    Equations
      source
      instance Plausible.Rat.sampleableExt :
      SampleableExt Rat
      Equations
        source
        instance Plausible.PNat.sampleableExt :
        SampleableExt ℕ+
        Equations