diff options
| author | Theo Zimmermann | 2015-06-16 18:50:58 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-06-23 15:03:08 +0200 |
| commit | e9ddf697a1451f1928e05dba9722c876b6962e45 (patch) | |
| tree | cf8e62b163d0468a94ca7c973ead3f9c965900ee /kernel/cbytecodes.mli | |
| parent | ae7568b19bd9b19db153a9711ccf6a7e0e7caf6e (diff) | |
Strategy is now a record type with a function field.
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions