Up
–
logtk
»
Logtk
»
Comparison
» PARTIAL_ORD
Module type
Comparison.PARTIAL_ORD
type
t
val
partial_cmp :
t
->
t
->
comparison