external ( -^ ) : int -> int -> int = "%subint"
external ( *^ ) : int -> int -> int = "%mulint"
external ( /^ ) : int -> int -> int = "%divint"
- external ( <<^ ) : int -> int -> int = "%lslint"
- external ( >>^ ) : int -> int -> int = "%lsrint"
+ external ( %^ ) : int -> int -> int = "%modint"
+ external ( <^< ) : int -> int -> int = "%lslint"
+ external ( >^> ) : int -> int -> int = "%lsrint"
+ external ( &^ ) : int -> int -> int = "%andint"
+ external ( |^ ) : int -> int -> int = "%orint"
+ external ( ^^ ) : int -> int -> int = "%xorint"
external ( ~^ ) : int -> int = "%identity"
external ( ~^~ ) : int -> int = "%negint"
end