aboutsummaryrefslogtreecommitdiff
path: root/matrix/Order.ml
blob: 5f2aa22f28efaedda1e38e8f0f51aa795c0890f0 (plain)
1
2
(* Defines a general ordering type *)
type order = Equal | Less | Greater