CoercibleTo SΒΆ
coerce.spad line 8 [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 ofS.
coerce.spad line 8 [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 S.