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