Module Make.ArraySource

Sourcetype index = t
Sourcetype 'a t
Sourceval empty : 'a t
Sourceval singleton : 'a -> 'a t
Sourceval extend : 'a t -> index -> (index -> 'a) -> 'a t
Sourceval retract : 'a t -> index -> 'a t
Sourceval contains : 'a t -> index -> bool
Sourceval last : 'a t -> index option
Sourceval set : 'a t -> index -> 'a -> unit
Sourceval get : 'a t -> index -> 'a