type extramap = (string * (string * Cudf_types.typedecl1)) listtype options = {extras_opt : extramap;native : string option;foreign : string list;host : string option;ignore_essential : bool;}val default_options : optionsval init_tables :
?step:int ->
?versionlist:Format822.version list ->
Packages.package list ->
tablesval clear : tables -> unitval get_cudf_version : tables -> (Format822.name * Format822.version) -> intval get_real_version :
tables ->
(Cudf_types.pkgname * Cudf_types.version) ->
Format822.versionval tocudf :
tables ->
?options:options ->
?inst:bool ->
Packages.package ->
Cudf.packageval lltocudf :
?enc:bool ->
tables ->
Format822.vpkg list list ->
Cudf_types.vpkgformulaval ltocudf : ?enc:bool -> tables -> Format822.vpkg list -> Cudf_types.vpkglistval preamble : Cudf.preambleval load_universe : ?options:options -> Packages.package list -> Cudf.universeval load_list : ?options:options -> Packages.package list -> Cudf.package list