Fstar_backend (hax-engine.Fstar

include Hax_engine.Backend.T
  with type BackendOptions.t = Hax_engine.Types.f_star_options_for__null

module InputLanguage : Hax_engine.Features.T

module AST : sig ... end

module U : sig ... end

module Error : Hax_engine.Phase_utils.ERROR

module BackendOptions : 
  Hax_engine.Backend.BACKEND_OPTIONS
    with type t = Hax_engine.Types.f_star_options_for__null

module Attrs : sig ... end

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

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

val backend : Hax_engine.Diagnostics.Backend.t