Module Java_label.BinaryOperatorSource
Sourcetype t = | Mul| Div| Mod| Add| Sub| ShiftL| ShiftR| ShiftRU| Eq| Neq| Lt| Gt| Le| Ge| BitAnd| BitOr| BitXor| And| Or
Sourceval to_simple_string : t -> string Sourceval to_short_string : t -> string Sourceval to_tag : t -> string * 'a list