Module `Operation.Binary`

module Int_op : sig ... end

module Shift_op : sig ... end

module Float_op : sig ... end

type 'mode t =

| Integral of 'mode Ocaml_typing.Scalar.Integral.t * Ocaml_typing.Scalar.Operation.Binary.Int_op.t
| Shift of 'mode Ocaml_typing.Scalar.Integral.t * Ocaml_typing.Scalar.Operation.Binary.Shift_op.t * Ocaml_typing.Scalar.Operation.Binary.Shift_op.Rhs.t
| Floating of 'mode Ocaml_typing.Scalar.Floating.t * Ocaml_typing.Scalar.Operation.Binary.Float_op.t
| Icmp of Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Integral.t * Ocaml_typing.Scalar.Integer_comparison.t
| Fcmp of Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Floating.t * Ocaml_typing.Scalar.Float_comparison.t
| Three_way_compare_int of Ocaml_typing.Scalar.Signedness.t * Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Integral.t
| Three_way_compare_float of Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Floating.t

comparisons return a tagged immediate

val map : 
  'a Ocaml_typing.Scalar.Operation.Binary.t ->
  f:('a -> 'b) ->
  'b Ocaml_typing.Scalar.Operation.Binary.t

val info : 
  'a Ocaml_typing.Scalar.Operation.Binary.t ->
  'a Ocaml_typing.Scalar.Operation.info

val sort : 
  Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Operation.Binary.t ->
  Ocaml_typing.Jkind_types.Sort.Const.t
  * Ocaml_typing.Jkind_types.Sort.Const.t
  * Ocaml_typing.Jkind_types.Sort.Const.t

Module Operation.Binary

Module `Operation.Binary`