BindPhase.D1'
val metadata : Metadata.t
module FA : sig ... end
module FB : sig ... end
module A : sig ... end
module B : sig ... end
val composite_phase : bool
val ditems : TracePhase(D1).A.item Prelude.list -> TracePhase(D1).B.item Prelude.list