value

abstract fun value(): PathSensitivity(source)