Source

ocaml-pure-polyrecord / polyrecord.mli

Full commit
1
2
3
4
5
6
7
8
9
type +'a t  (** Covariant since it is immutable by itself 
                Mutability is achieved by having ref members
            *)

val create : (int * Obj.t) list -> 'a t
val update : 'a t -> (int * Obj.t) list -> 'a t
val get : 'a t -> int -> Obj.t
val set : 'a t -> int -> Obj.t -> unit (* the field must be a reference *)