1 files changed, 28 insertions, 0 deletions
diff --git a/script.it/shapes/matrix/EltsI.ml b/script.it/shapes/matrix/EltsI.ml
new file mode 100755
index 0000000..fcfdb50
--- /dev/null
+++ b/script.it/shapes/matrix/EltsI.ml
@@ -0,0 +1,28 @@
+module type ORDERED_AND_OPERATIONAL =
+sig
+
+  (* Exception for from_string. Is raised when from_string is passed something
+   * that is not an elt *)
+  exception NonElt
+
+  type t
+
+  (* The zero element *)
+  val zero : t
+
+  (* The one element *)
+  val one: t
+
+  (* ts must be comparable *)
+  val compare : t -> t -> Order.order
+
+  (* Basic mathematical operations must be possible *)
+  val add: t -> t -> t
+
+  val subtract: t -> t -> t
+
+  val multiply: t -> t -> t
+
+  val divide: t -> t -> t
+
+end