You're seeing just the function compile, go back to Exonerate.Compiler module for more information.
Link to this function


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.

2 - children, which are functions representing internal dependencies.

Link to this function

compile(type_struct, opts)


compile(Exonerate.Type.artifact(), keyword()) ::
  {guarded_body :: [Macro.t()], children :: [Macro.t()]}