package cudf

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val type_check_stanza : 
  ?locs:loc_map ->
  string Cudf_types.stanza ->
  Cudf_types.typedecl ->
  Cudf_types.typed_value Cudf_types.stanza