SHBufferDeque

A Stable Heap Buffer Deque

type SHBufferDeque<A> = { var elems : [var ?A]; var start : Nat; var count : Nat }

public func new<A>() : SHBufferDeque<A>

public func withCapacity<A>(init_capacity : Nat) : SHBufferDeque<A>

public func init<A>(capacity : Nat, val : A) : SHBufferDeque<A>

public func size<A>(self : SHBufferDeque<A>) : Nat