let
string_of_cmp =
function
|
Le
->
"<="
|
Lt
->
"<<"
|
Eq
->
"="
|
Gt
->
">>"
|
Ge
->
">="