PreconditionsPointer

final case class PreconditionsPointer(currentPath: PointerPath) extends Pointer[Preconditions]

Pointer for Preconditions

Source:
PreconditionsPointer.scala
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

Inherited from:
Product