Debug contains everything in the log.

Fails returns a filtered trace that contains Fail events and context to understand where the Fail occurred.

Filter will filter a given trace using the specified filter function.

Full returns a filtered trace that contains everything except Unify ops.

Notes returns a filtered trace that contains Note events and context to understand where the Note was emitted.