PulseAttribute.CopiedInto
type t =
| IntoVar of {
copied_var : IR.Var.t;
}
| IntoIntermediate of {
copied_var : IR.Var.t;
}
| IntoField of {
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