Phase_drop_blocks.Make
Only use this phase if you are also rejecting unsafe
unsafe
module F : Features.T
include sig ... end
module FA = F
module FB : sig ... end
module A : sig ... end
module B : sig ... end
module ImplemT : sig ... end
include ImplemT.T
val metadata : Hax_engine__Phase_utils.Metadata.t
val ditems : A.item Prelude.list -> B.item Prelude.list