JMBTest.lib
constant
mod_init
type
type
returntype
constant
Terns
type
type
int
→
(
list
→
returntype
)
constant
VConst
type
type
int
→
(
list
→
returntype
)
constant
Minimus
type
type
ideal
→
returntype
constant
Maximus
type
type
ideal
→
returntype
constant
GJmpMins
type
type
jmp
→
(
jmp
→
returntype
)
constant
TernCompare
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
MinOfV
type
type
list
→
(
list
→
returntype
)
constant
OrderingV
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
StartOrderingV
type
type
list
→
(
list
→
returntype
)
constant
Multiply
type
type
list
→
(
list
→
returntype
)
constant
IdealOfV
type
type
list
→
returntype
constant
NewWeight
type
type
int
→
returntype
constant
FinalVm
type
type
def
→
(
list
→
(
list
→
returntype
)
)
constant
ConstructorMain
type
type
def
→
(
int
→
(
list
→
returntype
)
)
constant
EKCouples
type
type
jmp
→
(
jmp
→
returntype
)
constant
EKPolys
type
type
list
→
returntype
constant
EKPolynomials
type
type
list
→
(
list
→
returntype
)
constant
TestJMark
type
type
def
→
(
list
→
returntype
)