Module AstRecognizePredefSource

Replaces idref that corresponds to predefined items with the AstCore.Predef constructor

Performs a (tedious) recursive traversal of the syntax tree.

TODO : Solves idref references

• To do that, first paramatrize the AS (cf AstCore) by the kind of ident that is used. Indeed, during parsing, we cannot always know what Lv6Id.long should we have, given an Lv6Id.idref, or a Lv6Id.t. The idea is then to write a function resolve_name which profile is

(Lv6Id.idref) AstCore.t -> (long) AstCore.t