module Criteria:sig
..end
val parse_criteria : Format822.field -> Criteria_types.criteria
Parse a criteria field
val to_string : ?solver:string -> Criteria_types.criteria -> string
Return the string encoding the criteria. if the given solver does not respect the MISC2012 syntax, the function fails
val iter : (string * string * string * Re.re option -> unit) ->
Criteria_types.criteria -> unit
val is_misc2012 : string -> bool
Return true is the solver respect the MISC2012 syntax
val default_criteria : (string * Criteria_types.criteria) list
An associative list containing the criteria associated to the following shortcuts :