S (hax-engine.Hax_engine.Feature

module A : sig ... end

module B : sig ... end

val loop : Span.t -> S0.A.loop -> S0.B.loop

val for_loop : Span.t -> S0.A.for_loop -> S0.B.for_loop

val for_index_loop : Span.t -> S0.A.for_index_loop -> S0.B.for_index_loop

val while_loop : Span.t -> S0.A.while_loop -> S0.B.while_loop

val state_passing_loop : 
  Span.t ->
  S0.A.state_passing_loop ->
  S0.B.state_passing_loop

val fold_like_loop : Span.t -> S0.A.fold_like_loop -> S0.B.fold_like_loop

val continue : Span.t -> S0.A.continue -> S0.B.continue

val break : Span.t -> S0.A.break -> S0.B.break

val mutable_variable : Span.t -> S0.A.mutable_variable -> S0.B.mutable_variable

val mutable_reference : 
  Span.t ->
  S0.A.mutable_reference ->
  S0.B.mutable_reference

val mutable_pointer : Span.t -> S0.A.mutable_pointer -> S0.B.mutable_pointer

val reference : Span.t -> S0.A.reference -> S0.B.reference

val slice : Span.t -> S0.A.slice -> S0.B.slice

val raw_pointer : Span.t -> S0.A.raw_pointer -> S0.B.raw_pointer

val early_exit : Span.t -> S0.A.early_exit -> S0.B.early_exit

val question_mark : Span.t -> S0.A.question_mark -> S0.B.question_mark

val macro : Span.t -> S0.A.macro -> S0.B.macro

val as_pattern : Span.t -> S0.A.as_pattern -> S0.B.as_pattern

val nontrivial_lhs : Span.t -> S0.A.nontrivial_lhs -> S0.B.nontrivial_lhs

val arbitrary_lhs : Span.t -> S0.A.arbitrary_lhs -> S0.B.arbitrary_lhs

val lifetime : Span.t -> S0.A.lifetime -> S0.B.lifetime

val construct_base : Span.t -> S0.A.construct_base -> S0.B.construct_base

val monadic_action : Span.t -> S0.A.monadic_action -> S0.B.monadic_action

val monadic_binding : Span.t -> S0.A.monadic_binding -> S0.B.monadic_binding

val quote : Span.t -> S0.A.quote -> S0.B.quote

val block : Span.t -> S0.A.block -> S0.B.block

val dyn : Span.t -> S0.A.dyn -> S0.B.dyn

val match_guard : Span.t -> S0.A.match_guard -> S0.B.match_guard

val trait_item_default : 
  Span.t ->
  S0.A.trait_item_default ->
  S0.B.trait_item_default

val unsafe : Span.t -> S0.A.unsafe -> S0.B.unsafe