Make (hax-engine.Hax_engine.Function

Parameters

module F : Features.T

module FA = F

module A : sig ... end

module U : sig ... end

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

type id_order = Prelude.int

module Uprint : sig ... end

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