TracePhase.P
val metadata : Metadata.t
module FA : Features.T
module FB : Features.T
module A : Ast.T
module B : Ast.T
val ditems : A.item Prelude.list -> B.item Prelude.list