peek_final_value

Description:

public unowned Value? peek_final_value ()

Gets the pointer to the final value of this

Parameters:

this

a Interval

Returns:

the final value of the interval. The value is owned by the Interval and it should not be modified or freed