links

The Links Programming Language
IN THIS PACKAGE
type 'a buf
val init : int -> int -> 'a -> 'a buf
val length : 'a buf -> int
val get : 'a buf -> int -> 'a
val set : 'a buf -> int -> 'a -> unit
val append : 'a buf -> 'a -> unit
val to_list : 'a buf -> 'a list