diff options
| author | Emilio Jesus Gallego Arias | 2020-03-14 23:14:12 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:37 -0400 |
| commit | 7b2e166eae2d9f83bf0e14f68075b0be0a8bd668 (patch) | |
| tree | 7b2a1bc0df009c41000c3a9c3a90fa1c6fa675db /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | 8fbc927ac40cc707b1a940d8339a2a289755d533 (diff) | |
[classes] Declare obligation implicits using standard API.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions