Run_state.Vector
type 'elt t =
| T : (module Snarky_intf.Vector.S with type elt = 'elt and type t = 't) * 't Base.Type_equal.Id.t * 't -> 'elt t
val unit : unit Base.Type_equal.Id.t
val null : 'a t
val get : 'x t -> int -> 'x
val emplace_back : 'x t -> 'x -> unit