diff options
| author | Hugo Herbelin | 2017-08-21 23:49:20 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-09-12 20:17:27 +0200 |
| commit | 8b07b9296dac108d7a3d44db227bb1c6042db555 (patch) | |
| tree | 63a788b3e9fc6c4094b86417058f06f630b3bc01 /plugins | |
| parent | cc94172036789cfef28007f59510b7f17df5d45d (diff) | |
Adding function to be typically used to pass values from an OCaml "when" clause.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions