Phase_and_mut_defsite (hax-engine.Hax_engine.Phase_and_mut

module Make
  (F : 
    Features.T
      with type mutable_variable = Features.On.mutable_variable
       and type mutable_reference = Features.On.mutable_reference
       and type nontrivial_lhs = Features.On.nontrivial_lhs
       and type arbitrary_lhs = Features.On.arbitrary_lhs
       and type reference = Features.On.reference) : 
  sig ... end