def Lean.Environment.getModuleFor? (env : Environment) (declName : Name) : Option Name

Return the name of the module in which a declaration was defined.