diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 02:13:31 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 02:13:31 -0300 |
| commit | f76392a009f620b1717718001250e47ac71c3c9c (patch) | |
| tree | 0f9198ed9ddd255b9d96c42c70126d844fa37c56 /lib/kernel/Prototype.mli | |
| parent | e9b6d8a3f0582504587aaff31acc432601dd8979 (diff) | |
| download | RNT-f76392a009f620b1717718001250e47ac71c3c9c.tar.gz RNT-f76392a009f620b1717718001250e47ac71c3c9c.zip | |
generative protocol
Diffstat (limited to 'lib/kernel/Prototype.mli')
0 files changed, 0 insertions, 0 deletions