\ingroup module_hidden
\defgroup goto-diff goto-diff

# Folder goto-diff

`goto-diff/` is a tool that offers functionality similar to the `diff`
tool, but for GOTO programs.