1 files changed, 32 insertions, 0 deletions
diff --git a/editor/j/j.mli b/editor/j/j.mli
new file mode 100755
index 0000000..796bb9d
--- /dev/null
+++ b/editor/j/j.mli
@@ -0,0 +1,32 @@
+(** 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