diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-09 22:35:09 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-11 01:10:28 -0300 |
| commit | 152f817f8dc622aec7936ace7c16ce645aaed159 (patch) | |
| tree | 045d24750c7960983b366ea13afc464d518b7a3f /lib/abstract/Schematics.ml | |
| parent | 8baa58d7683b092d9e27e35d46a6b9ecb61fa4ab (diff) | |
| download | RNT-152f817f8dc622aec7936ace7c16ce645aaed159.tar.gz RNT-152f817f8dc622aec7936ace7c16ce645aaed159.zip | |
substantial relation and schematics
Diffstat (limited to '')
| -rw-r--r-- | lib/abstract/Schematics.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/abstract/Schematics.ml b/lib/abstract/Schematics.ml new file mode 100644 index 0000000..9a98a13 --- /dev/null +++ b/lib/abstract/Schematics.ml @@ -0,0 +1,8 @@ +module type SCHEMA = sig + type t + type attribute + val attributes : t -> (string * attribute) BatFingerTree.t + val project : t -> string BatFingerTree.t -> (t, Concepts.Condition.condition) result + val rename : t -> (string * string) BatFingerTree.t -> (t, Concepts.Condition.condition) result + val merge : t -> t -> (t, Concepts.Condition.condition) result +end |