test/nyaya.test/Executor

Executor

trait Executor
Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def prove[A](p: Prop[A], d: Domain[A], S: Settings): RunState[A]
def run[A](p: Prop[A], g: () => A, S: Settings): RunState[A]