ConvertibleTo SΒΆ

coerce.spad line 29

A is convertible to B means any element of A can be converted into an element of B, but not automatically by the interpreter.

convert: % -> S
convert(a) transforms a into an element of S.