Module Ringcast.SeenQ

val empty : int -> seenq

empty len returns an empty queue with maximum length len