Documentation

Utility function to cut out the interior of a large text block

Like snip, but for Docs

Note that this has to be opinionated and render ANSI color codes, but that should be fine because we don't use this in a non-interactive context

Function to insert an aligned pretty expression

Prefix used for error messages

Set to Censor if you want to censor error text that might include secrets

Path to input

Path to output

Convenient utility for retrieving an expression

Convenient utility for retrieving an expression along with its header