diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 03:00:57 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 03:00:57 -0300 |
| commit | 3184f85de1dac7071afcf9838dfc3f8609b20a5a (patch) | |
| tree | 27dadf6e541dd1dceb1ae32ceacd23205f667eed /lib/protocols/Schematics.ml | |
| parent | 2c7ff1f0f7d9c71a8f866bfc9e75c1ad6a5feaa3 (diff) | |
| download | RNT-3184f85de1dac7071afcf9838dfc3f8609b20a5a.tar.gz RNT-3184f85de1dac7071afcf9838dfc3f8609b20a5a.zip | |
provenance
Diffstat (limited to 'lib/protocols/Schematics.ml')
| -rw-r--r-- | lib/protocols/Schematics.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/protocols/Schematics.ml b/lib/protocols/Schematics.ml index d2e50ad..49d8586 100644 --- a/lib/protocols/Schematics.ml +++ b/lib/protocols/Schematics.ml @@ -1,5 +1,7 @@ type multigroup_description = string BatMap.String.t -type relation_description = string BatMap.String.t +type origin = {source: string list; attribute: string} +type attribute_description = {domain: string; provenance: origin list} +type relation_description = attribute_description BatMap.String.t type tuple_description = {relation: relation_description; attributes: string BatMap.String.t} (* TODO: For now the description is completely detached from actual |