Added docstrings to methods and properties of frozen function

Author: DoeringChristian

drjit/__init__.py

@@ -1990,13 +1990,32 @@ def __call__(self, *args, **kwargs):
 
             @property
             def n_recordings(self):
+                """
+                Represents the number of times the function was recorded. This
+                includes occasions where it was recorded due to a dry-run failing.
+                It does not necessarily correspond to the number of recordings
+                currently cached see ``n_cached_recordings`` for that.
+                """
                 return self.frozen.n_recordings
 
             @property
             def n_cached_recordings(self):
+                """
+                Represents the number of recordings currently cached of the frozen
+                function. If a recording fails in dry-run mode, it will not create
+                a new recording, but replace the recording that was attemted to be
+                replayed. The number of recordings can also be limited with
+                the ``max_cache_size`` argument.
+                """
                 return self.frozen.n_cached_recordings
 
             def clear(self):
+                """
+                Clears the recordings of the frozen function, and resets the
+                ``n_recordings`` counter. The reference to the function is still
+                kept, and the frozen function can be called again to re-trace
+                new recordings.
+                """
                 return self.frozen.clear()
 
             def __get__(self, obj, type=None):