package
nyaya
Type Members
-
type
EvalL = Logic[Eval_, Nothing]
-
type
Eval_[x] = Eval
-
type
FailureReason = String
-
type
FailureReasonO = Option[FailureReason]
-
type
Name = Need[String]
-
type
Prop[A] = Logic[PropA, A]
Inherited from AnyRef
Inherited from Any