Make (hax-engine.Hax_engine.Phase

Parameters

module F : Features.T

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

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