inout.lib
constant
allprint
type
type
list
→
returntype
constant
pmat
type
type
list
→
(
matrix
→
returntype
)
constant
show
type
type
list
→
(
def
→
returntype
)
constant
showrecursive
type
type
list
→
(
poly
→
(
def
→
returntype
)
)
constant
split
type
type
list
→
(
string
→
returntype
)
constant
tab
type
type
int
→
returntype
constant
pause
type
type
list
→
returntype