sig
  type field = string
  type regexp = string * Pcre.regexp
  type comparison = Le | Lt | Eq | Gt | Ge
  type expr =
      Etrue
    | Efalse
    | EMatch of Benl_types.field * Benl_types.expr
    | ENot of Benl_types.expr
    | EAnd of Benl_types.expr * Benl_types.expr
    | EOr of Benl_types.expr * Benl_types.expr
    | ESource
    | EList of Benl_types.expr list
    | EString of string
    | ERegexp of Benl_types.regexp
    | EVersion of Benl_types.comparison * string
    | EDep of string * Benl_types.comparison * string
  type config = (string * Benl_types.expr) list
end