package dose3-extra

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 :