Module May_contain.Resolved

type nonrec t = resolved t
val create : path:resolved Single.t -> lifecycle:resolved Single.t -> input:resolved Single.t -> t
val merge : t -> t -> t
val path : t -> resolved Single.t
val lifecycle : t -> resolved Single.t
val input : t -> resolved Single.t
val both_use_path : t -> t -> bool