Hax_engine.Phase_newtype_as_refinement
This phase transforms annotated struct definitions into (refined) type aliases.
module Make : Phase_utils.UNCONSTRAINTED_MONOMORPHIC_PHASE