def Lean.Compiler.LCNF.collectUsedDecls (decls : Array Name) : CoreM (Array (Decl Purity.impure) × Array (Signature Purity.impure))

Find all declarations that the declarations in decls transitively depend on. They are returned partitioned into the declarations from the current module and declarations from other modules.

def Lean.Compiler.LCNF.usesModuleFrom (env : Environment) (modulePrefix : Name) : Bool