Scalar.Operation
type 'mode info = {
can_raise : bool;
result : 'mode t;
}
module Unary : sig ... end
module Binary : sig ... end
type 'mode t =
| Unary of 'mode Unary.t
| Binary of 'mode Binary.t
val map : 'a t -> f:('a -> 'b) -> 'b t
val sort : any_locality_mode t -> Jkind_types.Sort.Const.t list
val arity : _ t -> int
val info : 'a t -> 'a info
val to_string : any_locality_mode t -> string
module With_percent_prefix : sig ... end