Module Ceve


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