Module `Phase_utils.MakeMonomorphicPhase`

Make a monomorphic phase: a phase that transform an AST with feature set F into an AST with the same feature set F

Parameters

module F : Features.T

module M : MAKE_MONOMORPHIC_PHASE(F).ARG

Signature

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 : Metadata.t

val ditems : A.item Prelude.list -> B.item Prelude.list