Make (hax-engine.Hax_engine.Phase_functionalize

Parameters

module F : 
  Features.T
    with type continue = Features.Off.continue
     and type early_exit = Features.Off.early_exit
     and type break = Features.Off.break

Signature

include sig ... end

module FA = F

module FB : sig ... end

module A : sig ... end

module B : sig ... end

module ImplemT : sig ... end

include ImplemT.T

val metadata : Hax_engine__Phase_utils.Metadata.t

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