compile, go back to Exonerate.Compiler module for more information.
analyzes the type artifact generated by the parser stage of the type parser, then emits
a tuple of two code AST segments:
1 - the
guarded body which is the part, put behind an object guard, that is the type-specific filter. These
should all, in principle, have the same function header.
children, which are functions representing internal dependencies.