weierstr.lib
constant
generalOrder
type
type
poly
→
returntype
constant
weierstrDiv
type
type
int
→
(
poly
→
(
poly
→
returntype
)
)
constant
weierstrPrep
type
type
int
→
(
poly
→
returntype
)
constant
lastvarGeneral
type
type
poly
→
returntype