Ast_utils (hax-engine.Hax_engine.Ast

type visit_level =

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

module UniqueList (T : sig ... end) : sig ... end

module Make (F : Features.T) : sig ... end

module MakeWithNamePolicy
  (F : Features.T)
  (NP : Concrete_ident.NAME_POLICY) : 
  sig ... end