retract

Usage

retract x

Signature

retract:

% $\to$ T

Parameter	Type	Description
x	%	a partial element

Returns

Returns the element x converted to an element of T, provided that x is not failed.