# CoercibleTo S¶

A is coercible to B means any element of A can automatically be converted into an element of B by the interpreter.

coerce: % -> S

coerce(a) transforms a into an element of S.