Up
–
Package index
»
colibrilib
»
Sources
» colibrilib » ord.ml
Source file
ord.ml
colibrilib
README
README_old
Library
colibrilib
Colibrilib
Sources
colibrilib
colibrilib.ml
colibrilib__.ml
interval__Bound.ml
interval__Convexe.ml
modulo__Divisible.ml
ord.ml
q__Q.ml
q_extra.ml
union__Union.ml
1
2
3
4
type
t
=
|
Eq
|
Lt
|
Gt