For a tooling purpose I would like to have check whether a function is profiler instrumented or not. Such is already included in ELP, but it seems to prefixed as a private to elp.el. Suggested patch prefixes it as a public API, adds some rudimentary doc and changes all callers to use new name. There seems to be no callers outside of elp.el.