Up
–
odoc
»
core_kernel
»
Core_kernel
»
Ordering
» Export
Module
Ordering.Export
type
_ordering
=
t
=
|
Less
|
Equal
|
Greater