jon.recoil.org

Module Flambda_primitive.Without_args

Simpler version (e.g. for Inlining_cost), where only the actual primitive matters, not the arguments.

type t =
  1. | Nullary of nullary_primitive
  2. | Unary of unary_primitive
  3. | Binary of binary_primitive
  4. | Ternary of ternary_primitive
  5. | Quaternary of quaternary_primitive
  6. | Variadic of variadic_primitive
val print : Format.formatter -> t -> unit
val effects_and_coeffects : t -> Effects_and_coeffects.t

Describe the effects and coeffects that the application of the given primitive may have.