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