BindPhase.D2
val metadata : Metadata.t
module FA = D1.FB
module FB : Features.T
module A = D1.B
module B : Ast.T
val ditems : A.item Prelude.list -> B.item Prelude.list