
tent_fix(?X)

   Instantiate X to its tentative value

Arguments
   X                   Any term, typically containing tentative variables

Type
   library(tentative)

Description

	This is a shorthand for
	
		tent_get(X, TV), X = TV.
	
    

Modes and Determinism
   tent_fix(?) is det

Exceptions
   tentative_value_not_set --- X (or a subterm of X) has no tentative value

Examples
   
    ?- tent_set(X, 27), tent_fix(X).
    X = 27
    Yes (0.00s cpu)

    ?- X = foo(_, _), tent_set(X, foo(27, 99)), tent_fix(X).
    X = foo(27, 99)
    Yes (0.00s cpu)
    

See Also
   tent_set / 2, has_tent_value / 1, tent_get / 2
