Module Ast_util

module Ast_util: sig .. end

val setcomp_bindings : (Name.t -> bool) -> Ast.exp -> Set.Make(Name).t

Infer the comprehension variables for a set comprehension without explicitly listed comprehension variables. The first argument should return true for variables that are currently bound in the enclosing environment (such variables cannot become comprehension variables)

val get_imported_modules : Ast.defs * Ast.lex_skips -> (Path.t * Ast.l) list

get_imported_modules ast returns a list of the modules imported by the given definitions. These are modules that are explicitly imported via an import statement. The resulting list may contain duplicates and is not sorted in any way.