Make (hax-engine.Hax_engine.Mutable

Parameters

module F : Features.T

Signature

module FA = F

module A : sig ... end

module U : sig ... end

module Visitors : sig ... end

type id_order = Prelude.int

type pre_data =
  Ast.concrete_ident Prelude.list
    Hax_engine.Prelude.Map.M(Hax_engine.Prelude.String).t

type analysis_data =
  (Local_ident.t Prelude.list * (U.TypedLocalIdent.t * id_order) Prelude.list)
    Hax_engine.Prelude.Map.M(Hax_engine.Prelude.String).t

module Uprint : sig ... end

module LocalIdentOrData (Ty : sig ... end) : sig ... end

val analyse : pre_data -> A.item Prelude.list -> analysis_data

val analyse_function_body : 
  U.AST.expr ->
  id_order ->
  (U.TypedLocalIdent.t * id_order) Prelude.list * id_order

val number_list : 
  U.TypedLocalIdent.t Prelude.list ->
  id_order ->
  (U.TypedLocalIdent.t * id_order) Prelude.list * id_order