Ergo.Context.dec_depth

You're seeing just the function dec_depth, go back to Ergo.Context module for more information.