Module type Pickles.Statement_intf

type field
type t
val to_field_elements : t -> field array