Up
–
logtk
»
Logtk
»
Polynomial
» OrderedType
Module type
Polynomial.OrderedType
type
t
val
compare :
t
->
t
->
int
val
pp : Format.formatter
->
t
->
unit