def Lean.Meta.Sym.isClass? (env : Environment) (type : Expr) : Option Name

Efficient version of Meta.isClass? for symbolic simulation. It does not use reduction nor instantiates metavariables.