source: Deliverables/D2.2/8051-indexed-labels-branch/src/utilities/extArray.mli @ 1349

Last change on this file since 1349 was 1349, checked in by tranquil, 9 years ago
  • work on LIN completed
  • small implementation of extensible arrays
File size: 586 bytes
Line 
1(** This module provides extensible arrays with limited functionality. *)
2
3(** The type of extensible arrays with elements in ['a]. *)
4type +'a t
5
6(** [make n a] creates an extensible array with initial size [n]
7    and default element [a]. *) 
8val make : int -> 'a -> 'a t
9
10(** [detault v] returns the current default element of v **)
11val default : 'a t -> 'a
12
13val get : 'a t -> int -> 'a
14
15val set : 'a t -> int -> a -> unit
16
17val length : 'a t -> int
18
19val chop : 'a t -> int -> unit
20
21val extend : 'a t -> int -> unit
22
23val assure : 'a t -> int -> unit 
24
25val append : 'a t -> 'a -> unit
Note: See TracBrowser for help on using the repository browser.