Module type `Pickles.Statement_value_intf`

type t

val to_field_elements : t -> Impls.Step.field array