+
Point of view
INTERNALS_HANDLER
class BACKTRACKING_NODE_TRUE_OR
-
node_not_void: node /= Void
require
-
value_not_void: value /= Void
ensure
-
definition: node = value
-
node_not_void: node /= Void
require
-
value_not_void: value /= Void
ensure
-
definition: node = value
-
node_not_void: node /= Void