module Ceve: sig
.. end
val label : string
include struct ... end
module DGraph: Algo.Defaultgraphs.SyntacticDependencyGraph
module PGraph: Algo.Defaultgraphs.PackageGraph
module Options: sig
.. end
val loadl : (string * string -> 'a * 'b) ->
((string * string option) * (string * string) option) list ->
(string * ([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * 'b) option) list
val parse_request : (string * string -> 'a * Cudf_types.version) -> string list -> Cudf.request
val nr_conflicts : Cudf.universe -> int
val main : unit -> unit