aboutsummaryrefslogtreecommitdiff
path: root/editor/j/j.mli
blob: 796bb9db9ec111a1afe42ede5d3e81e2deb0313d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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