CoercibleFrom(S)

coerce.spad line 19 [edit on github]

• S : Type

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