How to distinguish constructors from functions

Stream: metaprogramming / tactics

[Segev Elazar Mittelman]

Hi, I want to examine an Expr and decide whether the expr const being applied is a function or a constructor. I've tried to use Environment.isConstructor but that seems to return true for both functions and constructors. Any suggestions?

[Segev Elazar Mittelman]

Specifically I want to distinguish inductive constructors

[Sebastian Ullrich]

That certainly is supposed to be the right function

[Segev Elazar Mittelman]

My mistake, had a bug elsewhere in my code, that function works correctly.