T (hax-engine.Hax_engine.Backend.T)

module InputLanguage : Features.T

module AST : sig ... end

module U : sig ... end

module Error : Phase_utils.ERROR

module BackendOptions : BACKEND_OPTIONS

module Attrs : sig ... end

val apply_phases : 
  BackendOptions.t ->
  Ast.Rust.item Prelude.list ->
  AST.item Prelude.list

val translate : 
  (module Attrs.WITH_ITEMS) ->
  BackendOptions.t ->
  bundles:AST.item Prelude.list Prelude.list ->
  AST.item Prelude.list ->
  Types.file Prelude.list

val backend : Diagnostics.Backend.t