Module type Pres_impl.Implementation

module type Implementation = sig .. end

type 'a t 

val name : string

val length : 'a t -> int

val make : int -> 'a -> 'a t

val unsafe_get : 'a t -> int -> 'a

val unsafe_set : 'a t -> int -> 'a -> unit