diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 01:50:35 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 01:50:35 -0300 |
| commit | 28ddfe4cd64a228bedf4c9068f443643e8496f7e (patch) | |
| tree | 4d766fa4c83c94376188ed54ef8e1a150e3561af /lib/abstract/Schematics.ml | |
| parent | dfedcd91fa4e948600fb4b2edb3516f70376c3a9 (diff) | |
| download | RNT-28ddfe4cd64a228bedf4c9068f443643e8496f7e.tar.gz RNT-28ddfe4cd64a228bedf4c9068f443643e8496f7e.zip | |
rework on tuple non resident object with schematics as protocol
Diffstat (limited to 'lib/abstract/Schematics.ml')
| -rw-r--r-- | lib/abstract/Schematics.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/abstract/Schematics.ml b/lib/abstract/Schematics.ml deleted file mode 100644 index 9a98a13..0000000 --- a/lib/abstract/Schematics.ml +++ /dev/null @@ -1,8 +0,0 @@ -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 |