Vector.Fp
type nonrec t
type nonrec elt = Pasta_bindings.Fp.t Kimchi_types.circuit_gate
val create : unit -> t
val add : t -> elt -> unit
val get : t -> int -> elt
val wrap : t -> Kimchi_types.wire -> Kimchi_types.wire -> unit
val digest : int -> t -> bytes