diff options
| author | Pierre-Marie Pédrot | 2014-07-24 15:11:54 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-24 15:13:12 +0200 |
| commit | ae5ea0c9d5c0e9a39a50a2348b2b8f08938d5f5c (patch) | |
| tree | 2ba9b3c26e3627fe70bf095bdf650c8d375e9176 /kernel/type_errors.ml | |
| parent | fb4187a6d475719bada0a7fe1b7902a36e06d658 (diff) | |
Adding a tail-rec tclONCE.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions