ConvertibleFrom(S)

coerce.spad line 41 [edit on github]

• S : Type

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 element of %.