Up
–
logtk
»
Logtk
»
Polynomial
»
Make
» 2-Indet
Parameter
Make.2-Indet
type
t
val
compare :
t
->
t
->
int
val
pp : Format.formatter
->
t
->
unit