S (hax-engine.Hax_engine.Phase

module A : sig ... end

module B : sig ... end

val loop : Span.t -> FA.loop -> FA.loop

val for_loop : Span.t -> FA.for_loop -> FA.for_loop

val for_index_loop : Span.t -> FA.for_index_loop -> FA.for_index_loop

val while_loop : Span.t -> FA.while_loop -> FA.while_loop

val state_passing_loop : 
  Span.t ->
  FA.state_passing_loop ->
  FA.state_passing_loop

val continue : Span.t -> FA.continue -> FA.continue

val break : Span.t -> FA.break -> FA.break

val mutable_variable : Span.t -> FA.mutable_variable -> FA.mutable_variable

val mutable_reference : Span.t -> FA.mutable_reference -> FA.mutable_reference

val mutable_pointer : Span.t -> FA.mutable_pointer -> FA.mutable_pointer

val reference : Span.t -> FA.reference -> FA.reference

val slice : Span.t -> FA.slice -> FA.slice

val raw_pointer : Span.t -> FA.raw_pointer -> FA.raw_pointer

val early_exit : Span.t -> FA.early_exit -> FA.early_exit

val question_mark : Span.t -> FA.question_mark -> FA.question_mark

val macro : Span.t -> FA.macro -> FA.macro

val as_pattern : Span.t -> FA.as_pattern -> FA.as_pattern

val nontrivial_lhs : Span.t -> FA.nontrivial_lhs -> FA.nontrivial_lhs

val arbitrary_lhs : Span.t -> FA.arbitrary_lhs -> FA.arbitrary_lhs

val lifetime : Span.t -> FA.lifetime -> FA.lifetime

val construct_base : Span.t -> FA.construct_base -> FA.construct_base

val monadic_action : Span.t -> FA.monadic_action -> FA.monadic_action

val monadic_binding : Span.t -> FA.monadic_binding -> FA.monadic_binding

val quote : Span.t -> FA.quote -> FA.quote

val block : Span.t -> FA.block -> FA.block

val dyn : Span.t -> FA.dyn -> FA.dyn

val match_guard : Span.t -> FA.match_guard -> FA.match_guard

val trait_item_default : 
  Span.t ->
  FA.trait_item_default ->
  FA.trait_item_default

val unsafe : Span.t -> FA.unsafe -> Hax_engine__Features.Off.Unsafe.unsafe