sig val setcomp_bindings : (Name.t -> bool) -> Ast.exp -> Set.Make(Name).t val get_imported_modules : Ast.defs * Ast.lex_skips -> (Path.t * Ast.l) list end