summaryrefslogtreecommitdiff
path: root/typing/untypeast.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-3/+6
* Parse arbitrary precision integers ..Hugo Heuzard2015-12-031-0/+2
* use open recursion in untypeast.mlGabriel Scherer2015-03-081-6/+59
* move tools/untypeast.ml to typing/untypeast.mlGabriel Scherer2015-03-081-0/+20