S.Var
type t
val size_in_field_elements : int
val to_field_elements : t -> field_var array
val of_field_elements : field_var array -> t
val check : t -> field checked