sig
type tables
type extramap = (string * (string * Cudf_types.typedecl1)) list
type options = {
extras_opt : Debcudf.extramap;
native : string;
foreign : string list;
target : string;
ignore_essential : bool;
}
val default_options : Debcudf.options
val init_tables :
?step:int ->
?versionlist:Format822.version list ->
Packages.package list -> Debcudf.tables
val clear : Debcudf.tables -> unit
val get_cudf_version :
Debcudf.tables -> Format822.name * Format822.version -> int
val get_real_version :
Debcudf.tables ->
Cudf_types.pkgname * Cudf_types.version -> Format822.version
val tocudf :
Debcudf.tables ->
?options:Debcudf.options ->
?inst:bool -> Packages.package -> Cudf.package
val lltocudf :
?enc:bool ->
Debcudf.tables -> Format822.vpkg list list -> Cudf_types.vpkgformula
val ltocudf :
?enc:bool -> Debcudf.tables -> Format822.vpkg list -> Cudf_types.vpkglist
val preamble : Cudf.preamble
val load_universe :
?options:Debcudf.options -> Packages.package list -> Cudf.universe
val load_list :
?options:Debcudf.options -> Packages.package list -> Cudf.package list
end