cimonom.lib
constant
BelongSemig
type
type
list
→
(
intvec
→
(
bigint
→
returntype
)
)
constant
MinMult
type
type
intvec
→
(
int
→
returntype
)
constant
CompInt
type
type
intvec
→
returntype