Module PulseAttribute.CopiedInto

type t =
  1. | IntoVar of {
    1. copied_var : IR.Var.t;
    }
  2. | IntoIntermediate of {
    1. copied_var : IR.Var.t;
    }
  3. | IntoField of {
    1. field : IR.Fieldname.t;
    }
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val is_copied_into_var : t -> bool
val pp : F.formatter -> t -> unit