test/nyaya.test/DomainExt

DomainExt

final class DomainExt[A](d: Domain[A]) extends AnyVal
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def _mustProve[B >: A](p: Prop[B])(S: Settings): Unit
def mustProve(p: Prop[A])(S: Settings): Unit
def mustProveE(f: A => EvalL)(S: Settings): Unit