Module Path.Elem

val keyed : compare:('a -> 'a -> int) -> 'a Core.Type_equal.Id.t -> ('a -> Keyed.t) Core.Staged.t
type t =
  1. | Subst_into_invert_lifecycles
  2. | Subst_from
  3. | Subst_into
  4. | Assoc of Keyed.t
  5. | Switch of int

We only have path nodes for places in the computation graph that could introduce a branch.

include Ppx_compare_lib.Comparable.S with type t := t
val compare : t -> t -> int