Phase_utils (hax-engine.Hax_engine.Phase

module Metadata : sig ... end

module type PHASE = sig ... end

module MakePhaseImplemT (A : Ast.T) (B : Ast.T) : sig ... end

module MAKE_MONOMORPHIC_PHASE (F : Features.T) : sig ... end

Functor that produces module types of monomorphic phases

module MakeMonomorphicPhase
  (F : Features.T)
  (M : MAKE_MONOMORPHIC_PHASE(F).ARG) : 
  MAKE_MONOMORPHIC_PHASE(F).T

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

module type UNCONSTRAINTED_MONOMORPHIC_PHASE =
  functor (F : Features.T) ->
  sig ... end

Type of an unconstrainted (forall feature sets) monomorphic phases

exception ReportError of Diagnostics.kind

module type ERROR = sig ... end

module MakeError (Ctx : sig ... end) : ERROR

module MakeBase
  (FA : Features.T)
  (FB : Features.T)
  (M : sig ... end) : 
  sig ... end

module Identity (F : Features.T) : sig ... end

val _DEBUG_SHOW_ITEM : bool

val _DEBUG_SHOW_BACKTRACE : bool

module DebugPhaseInfo : sig ... end

module DebugBindPhase : sig ... end

module type S = sig ... end

module TracePhase (P : PHASE) : sig ... end

module BindPhase
  (D1 : PHASE)
  (D2 : PHASE with module FA = D1.FB and module A = D1.B) : 
  sig ... end