package tezos-context

create ~elt_length:len ~initial_capacity:n is an empty arena of strings of length len, with space sufficient to store n values.

is_full t is true iff t has no remaining space for elements.

expand t n re-allocates arena t to support storing up to n-many elements. Existing elements in the arena retain their original ids.

• raises Invalid_argument

  if n is less than the current capacity of t.

The type of references to allocated elements in an arena.

allocate t s adds the string s to arena t, returning a reference to the storage location that may later be dereferenced to get back s.

• raises Invalid_argument

  if t is_full. The behaviour is undefined if the length of s is not equal to the elt_length of t.

dereference t id is the string that was passed to the allocate call that returned id. The behaviour is undefined if id was not created by an allocation within t.

elt_equal t id s is equivalent to String.equal (dereference t id) s, but more efficient.