diff options
| author | Thomas Bauereiss | 2017-11-08 16:27:49 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-11-08 16:27:49 +0000 |
| commit | 16272e084d118c1b72d7921455d023aaafbf3dd5 (patch) | |
| tree | c982bbc3748a56e230880e54e57380bbdb2a049a /lib/ocaml_rts/sail_lib.ml | |
| parent | 275ded17e9d0824a932fe23607fe4f7d7b1da62f (diff) | |
Allow functions to be selectively declared external only for some backends
For example,
val test = { ocaml: "test_ocaml" } : unit -> unit
will only be external for OCaml. For other backends, it will have to be
defined.
Diffstat (limited to 'lib/ocaml_rts/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions