diff options
| author | Thomas Bauereiss | 2017-11-07 15:34:35 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-11-07 15:34:35 +0000 |
| commit | 1dbf01cafae9aba80582754f17d831c8bc11cdba (patch) | |
| tree | 8c69c4f27f97e9bc696e6706d9ba66ef4f5fdded /lib/ocaml_rts | |
| parent | ff9610e460b60fc35a529dfbc1d6b8d9c0072104 (diff) | |
Declare prelude functions as extern
Also, rename a few functions for uniformity, e.g. bool_and -> and_bool
Diffstat (limited to 'lib/ocaml_rts')
0 files changed, 0 insertions, 0 deletions