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

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

Equations

• One or more equations did not get rendered due to their size.