Constructor Dlet never used
In branch new_ide, the parser does not seem to generate the constructor Dlet (defined in src/parser/ptree.ml). I think it was replaced at some point. Is it safe to remove it ? Is it used by the API ?
The problem does not arise in master where Dfun does not exists and Dlet seems to replace it.