intprog.lib
constant
solve_IP_1
type
type
string
→
(
intvec
→
(
intvec
→
(
intmat
→
returntype
)
)
)
constant
solve_IP_2
type
type
string
→
(
intvec
→
(
list
→
(
intmat
→
returntype
)
)
)
constant
solve_IP_3
type
type
intvec
→
(
string
→
(
intvec
→
(
intvec
→
(
intmat
→
returntype
)
)
)
)
constant
solve_IP_4
type
type
intvec
→
(
string
→
(
intvec
→
(
list
→
(
intmat
→
returntype
)
)
)
)