Phase_utils.TracePhase
module P : PHASE
include module type of struct include P end
val metadata : Metadata.t
module FA = P.FA
module FB = P.FB
module A = P.A
module B = P.B
val name : string
val enable : bool
val ditems : P.A.item Prelude.list -> P.B.item Prelude.list