diff options
| author | Olivier Laurent | 2020-04-03 18:42:22 +0200 |
|---|---|---|
| committer | Olivier Laurent | 2020-04-11 11:37:53 +0200 |
| commit | 8b9219a06fa72ec69ec404e97cf8c87de30f9965 (patch) | |
| tree | 88e2f677d165008793ec17690e324e0d2347fff4 /kernel/nativelambda.mli | |
| parent | 28c031158cee24faf782a7192032e29229aee4d4 (diff) | |
add properties of operations on vectors
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions