next up previous contents index
Next: Pointer Up: Partial Previous: failed   Contents   Index


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.



Manuel Bronstein 2004-06-28