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 %.
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(a)
transforms a into an element of %.