(** Time-stamp: <modified the 03/06/2008 (at 14:25) by Erwan Jahier> *)

(**
  Perform a (tedious) recursive traversal of the syntax tree, and
  replace idref that corresponds to predefined items with the
  SyntaxTreeCore.Predef constructor.

  TODO : Solves idref references 

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

  (Ident.idref) SyntaxTreeCore.t -> (long) SyntaxTreeCore.t

*)


val recognize_predef_op : SyntaxTree.t -> SyntaxTree.t