diff options
Diffstat (limited to '')
| -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 |