Module CamlInterface.Parse

module Parse: sig .. end

include TopDown.PARSE

Additional functions, to load clauses directly into the DB
val load_chan : CamlInterface.Logic.DB.t -> Pervasives.in_channel -> bool
val load_file : CamlInterface.Logic.DB.t -> string -> bool
val load_string : CamlInterface.Logic.DB.t -> string -> bool