How to find out if an android device is using TEE?

I am new to Trusty TEE OS. Is there any way to find out if an Android Device uses such an OS without rooting the device ? AFAIK there, DRM (Digital Rights Management) is the most widely used application of Trusty OS. Some examples for DRM frameworks are Widevine/PlayReady/ClearKey. Does it mean that if any of these frameworks are present in the Android device, it is safe to assume that there is an underlying Trusty TEE OS in use ? Thanks