Side_effect_utils (hax-engine.Hax_engine.Side_effect

module MakeSI
  (F : 
    Features.T
      with type monadic_binding = Features.Off.monadic_binding
       and type for_index_loop = Features.Off.for_index_loop) : 
  sig ... end

module Hoist
  (F : 
    Features.T
      with type monadic_binding = Features.Off.monadic_binding
       and type for_index_loop = Features.Off.for_index_loop) : 
  sig ... end