Module type Pickles.Statement_var_intf

type t
val to_field_elements : t -> Impls.Step.Field.t array