module Ceve:sig
..end
include struct ... end
module DGraph: Algo.Defaultgraphs.SyntacticDependencyGraph
module Options:sig
..end
val output_to_sqlite : 'a -> 'b
val nr_conflicts : Cudf.universe -> int
val output_cudf : Pervasives.out_channel -> Cudf.preamble -> Cudf.universe -> unit
val main : unit -> unit