SpecialNames (hax-engine.Hax_engine.Export

val map_strings : 
  (Prelude.string -> Prelude.string) ->
  Types.def_id ->
  Types.def_id

val mk : 
  bool ->
  (Prelude.string -> Prelude.string) ->
  Concrete_ident_generated.t ->
  Concrete_ident.t

val f : 
  Hax_engine.Prelude.Int.t ->
  Hax_engine.Prelude.Int.t ->
  Hax_engine.Prelude.String.t ->
  Hax_engine.Prelude.String.t

val tuple_type : Hax_engine.Prelude.Int.t -> Concrete_ident.t

val tuple_cons : Hax_engine.Prelude.Int.t -> Concrete_ident.t

val tuple_field : 
  Hax_engine.Prelude.Int.t ->
  Hax_engine.Prelude.Int.t ->
  Concrete_ident.t