diff options
| author | Robert Norton | 2017-03-30 15:21:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-03-30 15:21:00 +0100 |
| commit | 88220a76169452c4a820625bd5c6273823b29939 (patch) | |
| tree | c3277bbaabdb12bf529a9ed01052df24161f569e /src/ast.ml | |
| parent | 57ff1667d971c7ab748a67a36953dab8c0838142 (diff) | |
Make length function return big_int
Diffstat (limited to 'src/ast.ml')
0 files changed, 0 insertions, 0 deletions