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