Module `Operation.Binary`

module Int_op : sig ... end

module Shift_op : sig ... end

module Float_op : sig ... end

type 'mode t =

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

comparisons return a tagged immediate

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

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

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

Module Operation.Binary

Module `Operation.Binary`