sig
  type tables
  type extramap = (string * (string * Cudf_types.typedecl1)) list
  type options = {
    extras_opt : Debcudf.extramap;
    native : string option;
    foreign : string list;
    host : string option;
    ignore_essential : bool;
    builds_from : bool;
  }
  val default_options : Debcudf.options
  val init_tables :
    ?step:int ->
    ?versionlist:Packages_types.version list ->
    Packages.package list -> Debcudf.tables
  val clear : Debcudf.tables -> unit
  val get_cudf_version :
    Debcudf.tables -> Packages_types.name * Packages_types.version -> int
  val get_real_version :
    Debcudf.tables ->
    Cudf_types.pkgname * Cudf_types.version -> Packages_types.version
  val tocudf :
    Debcudf.tables ->
    ?options:Debcudf.options ->
    ?inst:bool -> Packages.package -> Cudf.package
  val lltocudf :
    ?enc:bool ->
    Debcudf.tables -> Packages_types.vpkg list list -> Cudf_types.vpkgformula
  val ltocudf :
    ?enc:bool ->
    Debcudf.tables -> Packages_types.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