package cudf

  1. Overview
  2. Docs
type cudf_parser
exception Parse_error of string * Cudf_types.loc
val from_in_channel : ?typedecl:Cudf_conf.stanza_typedecl -> in_channel -> cudf_parser
val from_IO_in_channel : ?typedecl:Cudf_conf.stanza_typedecl -> IO.input -> cudf_parser
val from_file : ?typedecl:Cudf_conf.stanza_typedecl -> string -> cudf_parser
val close : cudf_parser -> unit
val parse : cudf_parser -> Cudf.preamble option * Cudf.package list * Cudf.request option
val load : cudf_parser -> Cudf.preamble option * Cudf.universe * Cudf.request option
val load_solution : cudf_parser -> Cudf.universe -> Cudf.preamble option * Cudf.universe
val parse_from_file : ?typedecl:Cudf_conf.stanza_typedecl -> string -> Cudf.preamble option * Cudf.package list * Cudf.request option
val load_from_file : ?typedecl:Cudf_conf.stanza_typedecl -> string -> Cudf.preamble option * Cudf.universe * Cudf.request option
val load_solution_from_file : string -> Cudf.universe -> Cudf.preamble option * Cudf.universe
val parse_item : cudf_parser -> Cudf.cudf_item
type loc_map = (string * Cudf_types.loc) list
val parse_stanza : cudf_parser -> loc_map * string Cudf_types.stanza
OCaml

Innovation. Community. Security.