Phase_utils.MakeBase
module FA : Features.T
module FB : Features.T
module M : sig ... end
module A : sig ... end
module B : sig ... end
module UA : sig ... end
module UB : sig ... end
module ImplemT : sig ... end
include module type of struct include M end
val phase_id : Diagnostics.Phase.t
val metadata : Metadata.t