S.Var
type t
val size_in_field_elements : int
val to_field_elements : t -> field Cvar.t array
val of_field_elements : field Cvar.t array -> t
val check : t -> ( unit, field ) Checked_runner.Simple.t