Module Phase_utils.MakeBase

Parameters

module FA : Features.T
module FB : Features.T
module M : sig ... end

Signature

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
val failwith : unit
module Error : ERROR