prop/nyaya.prop/Prop_AnyExt

Prop_AnyExt

final class Prop_AnyExt[A](a: A) extends AnyVal
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

@elidable
def assertSatisfies(p: Prop[A]): Unit