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