Phase_utils.Identity
module F : Features.T
module FA = F
module FB = F
module A : sig ... end
module B : sig ... end
val ditems : A.item Prelude.list -> B.item Prelude.list
val metadata : Metadata.t