Module Phase_utils.MAKE_MONOMORPHIC_PHASE

Functor that produces module types of monomorphic phases

Parameters

module F : Features.T

Signature

module type ARG = sig ... end
module type T = sig ... end