prop/nyaya.prop/PropA

PropA

final class PropA[A]
Companion
object
class Object
trait Matchable
class Any

Value members

Concrete fields

val t: A => EvalL