IterCreatePush.1-S
type 'a t
val default : 'a t -> 'a
val length : 'a t -> length
val iter : Sek__.PrivateSignatures.direction -> ('a -> unit) -> 'a t -> unit
type 'a u
val create : length -> 'a -> 'a u
val push : Sek__.PrivateSignatures.direction -> 'a u -> 'a -> unit
val finalize : 'a u -> 'a t