test/nyaya.test/PTest

PTest

object PTest
class Object
trait Matchable
class Any

Type members

Classlikes

case class BatchSize(samples: SampleSize, genSize: GenSize)

Value members

Concrete methods

def prove[A](p: Prop[A], d: Domain[A], S1: Settings): RunState[A]
def test[A](p: Prop[A], gen: Gen[A], S: Settings): RunState[A]