Phase_utils.BindPhase
module D1 : PHASE
module D2 : PHASE with module FA = D1.FB and module A = D1.B
module D1' : sig ... end
module D2' : sig ... end
module FA = D1.FA
module FB = D2.FB
module A = D1.A
module B = D2.B
val metadata : Metadata.t
val ditems : A.item Prelude.list -> B.item Prelude.list