value

fun value(name: String): Value?

The value a yes solution binds to the variable of the goal named name