ErlangFrontendmodule ErlangAst : sig ... endErlang abstract forms, following https://erlang.org/doc/apps/erts/absform.html
module ErlangAstValidator : sig ... endEnforce additional invariants and constraints on the AST based on https://erlang.org/doc/apps/erts/absform.html
module ErlangBlock : sig ... endmodule ErlangEnvironment : sig ... endmodule ErlangJsonParser : sig ... endmodule ErlangNode : sig ... endmodule ErlangScopes : sig ... endmodule ErlangTranslator : sig ... endmodule ErlangTypes : sig ... end