(** 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