CLogic.CBinOp
type t =
| LstCons
| LstCat
| Plus
| Minus
| Times
| Div
| PtrPlus
| Equal
| SetSub
| SetDiff
| SetMem
| LessThan
| And
| Or
val str : t -> string