Cross

data class Cross(val path: String, val pred: Pred) : Node(source)

Node.Cross.pred on both sides: matches when the two results differ.

Constructors

Link copied to clipboard
constructor(path: String, pred: Pred)

Properties

Link copied to clipboard
Link copied to clipboard
val pred: Pred

Functions

Link copied to clipboard