Module `Scalar.Operation`

type 'mode info = {

}

module Unary : sig ... end

module Binary : sig ... end

type 'mode t =

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

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

val arity : _ Scalar.Operation.t -> int

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

val to_string : Scalar.any_locality_mode Scalar.Operation.t -> string

module With_percent_prefix : sig ... end

Module Scalar.Operation