1 files changed, 0 insertions, 32 deletions
diff --git a/editor/j/j.mli b/editor/j/j.mli
deleted file mode 100755
index 796bb9d..0000000
--- a/editor/j/j.mli
+++ /dev/null
@@ -1,32 +0,0 @@
-(** The type properties *)
-type ('a, 'b) prop
-
-val prop
-  : string -> ('a, 'b) prop
-
-val get
-  : 'a -> ('a, 'b) prop -> 'b option
-
-val set
-  : 'a -> ('a, 'b) prop -> 'b -> unit
-
-
-(* Arrays *)
-
-type 'a array
-
-val to_array
-  : 'a array -> 'a Array.t
-
-val of_array
-  : 'a Array.t -> 'a array
-
-(* Object constructor *)
-
-type 'a constr
-
-val c
-  : ('a, 'b) prop -> 'b -> 'a constr
-
-val obj
-  : 'a constr Array.t -> 'a