diff options
| author | Pierre-Marie Pédrot | 2020-08-20 17:25:35 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-21 16:47:20 +0200 |
| commit | 3d430a47d91bc541dcd6576063471c44fc457bf9 (patch) | |
| tree | 807d7ab06cf3fc30119801f7e8b6e89dcc2f10be /kernel/nativelambda.mli | |
| parent | 85dad6f7b52c8b84a87e61eb45dbc1f28c8780ae (diff) | |
Add a heterogeneous map function over Dyn.Map.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions