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