Ignore Jane Street specific instrumentation extensions from internal PPXs or compiler features not yet upstreamed.
Published: 02 Jun 2023
A PPX that removes the AST nodes for instrumentation extensions, like
[%probe], which are currently internal to Jane Street.
Instrumentation extensions don't have semantic effects during normal execution so are safe to ignore.