[]

Usage

[t]

Signature

[]:

T $\to$ %

Parameter	Type	Description
t	T	an element

Returns

Returns the element t converted to an element of %.