Module `Phase_simplify_question_marks.Make`

This phase can be applied to any feature set.

Parameters

module F : Features.T

Signature

include sig ... end

module FA = F

module FB : sig ... end

This phase outputs an AST with question marks.

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