sig
  type tables
  type extramap = (string * (string * Cudf_types.typedecl1)) list
  type options = {
    extras_opt : Debcudf.extramap;
    native : string;
    host : string;
    build : string;
    foreign : string list;
    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 :
    Debcudf.tables -> Format822.vpkg list list -> Cudf_types.vpkgformula
  val ltocudf : 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