diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-09-24 02:17:01 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-09-24 02:17:01 +0000 |
| commit | 5a1088413468f171886d39339a8de96697af64c5 (patch) | |
| tree | 0aca7b8ff9e5a1c8e0a907102f31408689fd0a0f /test/unit/kernel/SubstantialRelation.ml | |
| parent | 2d7c5b7c6696f39028ab07064ff75548d71ee5cf (diff) | |
| download | RNT-5a1088413468f171886d39339a8de96697af64c5.tar.gz RNT-5a1088413468f171886d39339a8de96697af64c5.zip | |
Multigroup registration stub
Diffstat (limited to 'test/unit/kernel/SubstantialRelation.ml')
0 files changed, 0 insertions, 0 deletions