sig
  val parse_criteria : Format822.field -> Criteria_types.criteria
  val to_string : ?solver:string -> Criteria_types.criteria -> string
  val iter :
    (string * string * string * Re.re option -> unit) ->
    Criteria_types.criteria -> unit
  val is_misc2012 : string -> bool
  val default_criteria : (string * Criteria_types.criteria) list
end