index
:
blog_scripts.git
editor
master
Applications du blog
Sébastien Dailly
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
matrix
/
Order.ml
blob: 5f2aa22f28efaedda1e38e8f0f51aa795c0890f0 (
plain
)
1
2
(* Defines a general ordering type *)
type
order
=
Equal
|
Less
|
Greater
