sig   module Log :     sig       val src : Logs.src       val msg : Logs.level -> 'Logs.log       val app : 'Logs.log       val err : 'Logs.log       val warn : 'Logs.log       val info : 'Logs.log       val debug : 'Logs.log       val kmsg : (unit -> 'b) -> Logs.level -> ('a, 'b) Logs.msgf -> 'b       val on_error :         ?level:Logs.level ->         ?header:string ->         ?tags:Logs.Tag.set ->         pp:(Format.formatter -> '-> unit) ->         use:('-> 'a) -> ('a, 'b) Result.result -> 'a       val on_error_msg :         ?level:Logs.level ->         ?header:string ->         ?tags:Logs.Tag.set ->         use:(unit -> 'a) -> ('a, [ `Msg of string ]) Result.result -> 'a       val on_iter_error_msg :         ?level:Logs.level ->         ?header:string ->         ?tags:Logs.Tag.set ->         (('-> unit) -> '-> 'c) ->         ('-> (unit, [ `Msg of string ]) Pervasives.result) -> '-> 'c       val time :         ?level:Logs.level ->         ('->          (?tags:Logs.Tag.set ->           ('b, Format.formatter, unit, 'a) Pervasives.format4 -> 'b) ->          'a) ->         ('-> 'a) -> '-> 'a     end   module Top :     sig       val init : ?conf:Odig.Conf.t -> unit -> unit       val announce : unit -> unit       val assume_inc : Fpath.t -> unit       val assume_obj : Fpath.t -> unit     end   module Ocamltop :     sig       val add_inc : Fpath.t -> (unit, [ `Msg of string ]) Pervasives.result       val rem_inc : Fpath.t -> (unit, [ `Msg of string ]) Pervasives.result       val load_ml : Fpath.t -> (unit, [ `Msg of string ]) Pervasives.result       val load_obj : Fpath.t -> (unit, [ `Msg of string ]) Pervasives.result     end   module Json :     sig       type 'a seq       val empty : 'Odig.Private.Json.seq       val ( ++ ) :         'Odig.Private.Json.seq ->         'Odig.Private.Json.seq -> 'Odig.Private.Json.seq       type t       type mem       type el       val null : Odig.Private.Json.t       val bool : bool -> Odig.Private.Json.t       val int : int -> Odig.Private.Json.t       val str : string -> Odig.Private.Json.t       val el :         Odig.Private.Json.t -> Odig.Private.Json.el Odig.Private.Json.seq       val el_if :         bool ->         (unit -> Odig.Private.Json.t) ->         Odig.Private.Json.el Odig.Private.Json.seq       val arr :         Odig.Private.Json.el Odig.Private.Json.seq -> Odig.Private.Json.t       val mem :         string ->         Odig.Private.Json.t -> Odig.Private.Json.mem Odig.Private.Json.seq       val mem_if :         bool ->         string ->         (unit -> Odig.Private.Json.t) ->         Odig.Private.Json.mem Odig.Private.Json.seq       val obj :         Odig.Private.Json.mem Odig.Private.Json.seq -> Odig.Private.Json.t       val buffer_add : Buffer.t -> Odig.Private.Json.t -> unit       val to_string : Odig.Private.Json.t -> string       val output : Pervasives.out_channel -> Odig.Private.Json.t -> unit     end   module Html :     sig       type 'a seq       val empty : 'Odig.Private.Html.seq       val ( ++ ) :         'Odig.Private.Html.seq ->         'Odig.Private.Html.seq -> 'Odig.Private.Html.seq       type att       type attv       type t       val attv : string -> Odig.Private.Html.attv Odig.Private.Html.seq       val att :         string ->         Odig.Private.Html.attv Odig.Private.Html.seq ->         Odig.Private.Html.att Odig.Private.Html.seq       val data : string -> Odig.Private.Html.t Odig.Private.Html.seq       val el :         string ->         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val href : string -> Odig.Private.Html.att Odig.Private.Html.seq       val id : string -> Odig.Private.Html.att Odig.Private.Html.seq       val class_ : string -> Odig.Private.Html.att Odig.Private.Html.seq       val a :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val link :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         string ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val div :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val meta :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val nav :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val code :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val ul :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val ol :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val li :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val dl :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val dt :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val dd :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val p :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val h1 :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val h2 :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val span :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val body :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val html :         ?atts:Odig.Private.Html.att Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq ->         Odig.Private.Html.t Odig.Private.Html.seq       val buffer_add :         ?doc_type:bool ->         Buffer.t -> Odig.Private.Html.t Odig.Private.Html.seq -> unit       val to_string :         ?doc_type:bool -> Odig.Private.Html.t Odig.Private.Html.seq -> string       val output :         ?doc_type:bool ->         Pervasives.out_channel ->         Odig.Private.Html.t Odig.Private.Html.seq -> unit     end   module Dot :     sig       type 'a seq       val empty : 'Odig.Private.Dot.seq       val ( ++ ) :         'Odig.Private.Dot.seq ->         'Odig.Private.Dot.seq -> 'Odig.Private.Dot.seq       type id = string       type st       type att       type t       val edge :         ?atts:Odig.Private.Dot.att Odig.Private.Dot.seq ->         Odig.Private.Dot.id ->         Odig.Private.Dot.id -> Odig.Private.Dot.st Odig.Private.Dot.seq       val node :         ?atts:Odig.Private.Dot.att Odig.Private.Dot.seq ->         Odig.Private.Dot.id -> Odig.Private.Dot.st Odig.Private.Dot.seq       val atts :         [ `Edge | `Graph | `Node ] ->         Odig.Private.Dot.att Odig.Private.Dot.seq ->         Odig.Private.Dot.st Odig.Private.Dot.seq       val att : string -> string -> Odig.Private.Dot.att Odig.Private.Dot.seq       val label : string -> Odig.Private.Dot.att Odig.Private.Dot.seq       val color : string -> Odig.Private.Dot.att Odig.Private.Dot.seq       val subgraph :         ?id:Odig.Private.Dot.id ->         Odig.Private.Dot.st Odig.Private.Dot.seq ->         Odig.Private.Dot.st Odig.Private.Dot.seq       val graph :         ?id:Odig.Private.Dot.id ->         ?strict:bool ->         [ `Digraph | `Graph ] ->         Odig.Private.Dot.st Odig.Private.Dot.seq -> Odig.Private.Dot.t       val buffer_add : Buffer.t -> Odig.Private.Dot.t -> unit       val to_string : Odig.Private.Dot.t -> string       val output : Pervasives.out_channel -> Odig.Private.Dot.t -> unit     end   module Digest :     sig       type t = string       val compare : t -> t -> int       val equal : t -> t -> bool       val string : string -> t       val bytes : bytes -> t       val substring : string -> int -> int -> t       val subbytes : bytes -> int -> int -> t       external channel : in_channel -> int -> t = "caml_md5_chan"       val output : out_channel -> t -> unit       val input : in_channel -> t       val to_hex : t -> string       val from_hex : string -> t       val file : Fpath.t -> (t, [ `Msg of string ]) Pervasives.result       val mtimes : Fpath.t list -> (t, [ `Msg of string ]) Pervasives.result     end   module Trail :     sig       type t       val pp_dot : root:Fpath.t -> Odig.Private.Trail.t Fmt.t       val pp_dot_universe : root:Fpath.t -> unit Fmt.t     end   module Pkg :     sig       type name = string       val is_name : string -> bool       val name_of_string : string -> (name, [ `Msg of string ]) result       val dir_is_package : Fpath.t -> name option       type t = Pkg.t       type set = Pkg.set       val set : Conf.t -> (set, [ `Msg of string ]) result       val conf_cobj_index :         Conf.t -> ([ `Pkg of t ] Cobj.Index.t, [ `Msg of string ]) result       val lookup : Conf.t -> name -> (t, [ `Msg of string ]) result       val find : Conf.t -> name -> t option       val find_set : Conf.t -> Astring.String.set -> set * Astring.String.set       val field : err:'-> (t -> ('a, [ `Msg of string ]) result) -> t -> 'a       val name : t -> name       val libdir : t -> Fpath.t       val docdir : t -> Fpath.t       val cobjs : t -> Cobj.set       val conf : t -> Conf.t       val opam_file : t -> Fpath.t       val opam_fields :         t -> (string list Astring.String.map, [ `Msg of string ]) result       val license_tags : t -> (string list, [ `Msg of string ]) result       val version : t -> (string option, [ `Msg of string ]) result       val homepage : t -> (string list, [ `Msg of string ]) result       val online_doc : t -> (string list, [ `Msg of string ]) result       val issues : t -> (string list, [ `Msg of string ]) result       val tags : t -> (string list, [ `Msg of string ]) result       val maintainers : t -> (string list, [ `Msg of string ]) result       val authors : t -> (string list, [ `Msg of string ]) result       val repo : t -> (string list, [ `Msg of string ]) result       val deps :         ?opts:bool -> t -> (Astring.String.set, [ `Msg of string ]) result       val depopts : t -> (Astring.String.set, [ `Msg of string ]) result       val readmes : t -> (Fpath.t list, [ `Msg of string ]) result       val change_logs : t -> (Fpath.t list, [ `Msg of string ]) result       val licenses : t -> (Fpath.t list, [ `Msg of string ]) result       val equal : t -> t -> bool       val compare : t -> t -> int       module Set :         sig           type elt = Pkg.t           type t = Pkg.set           val empty : t           val is_empty : t -> bool           val mem : elt -> t -> bool           val add : elt -> t -> t           val singleton : elt -> t           val remove : elt -> t -> t           val union : t -> t -> t           val inter : t -> t -> t           val diff : t -> t -> t           val compare : t -> t -> int           val equal : t -> t -> bool           val subset : t -> t -> bool           val iter : (elt -> unit) -> t -> unit           val fold : (elt -> '-> 'a) -> t -> '-> 'a           val for_all : (elt -> bool) -> t -> bool           val exists : (elt -> bool) -> t -> bool           val filter : (elt -> bool) -> t -> t           val partition : (elt -> bool) -> t -> t * t           val cardinal : t -> int           val elements : t -> elt list           val split : elt -> t -> t * bool * t           val find : elt -> t -> elt option           val get : elt -> t -> elt           val min_elt : t -> elt option           val get_min_elt : t -> elt           val max_elt : t -> elt option           val get_max_elt : t -> elt           val choose : t -> elt option           val get_any_elt : t -> elt           val to_list : t -> elt list           val of_list : elt list -> t           val pp :             ?sep:(Format.formatter -> unit -> unit) ->             (Format.formatter -> elt -> unit) ->             Format.formatter -> t -> unit           val dump :             (Format.formatter -> elt -> unit) ->             Format.formatter -> t -> unit         end       module Map :         sig           type key = Pkg.t           type 'a t = 'Pkg.Map.t           val empty : 'a t           val is_empty : 'a t -> bool           val mem : key -> 'a t -> bool           val add : key -> '-> 'a t -> 'a t           val singleton : key -> '-> 'a t           val remove : key -> 'a t -> 'a t           val merge :             (key -> 'a option -> 'b option -> 'c option) ->             'a t -> 'b t -> 'c t           val union : (key -> '-> '-> 'a option) -> 'a t -> 'a t -> 'a t           val compare : ('-> '-> int) -> 'a t -> 'a t -> int           val equal : ('-> '-> bool) -> 'a t -> 'a t -> bool           val iter : (key -> '-> unit) -> 'a t -> unit           val fold : (key -> '-> '-> 'b) -> 'a t -> '-> 'b           val for_all : (key -> '-> bool) -> 'a t -> bool           val exists : (key -> '-> bool) -> 'a t -> bool           val filter : (key -> '-> bool) -> 'a t -> 'a t           val partition : (key -> '-> bool) -> 'a t -> 'a t * 'a t           val cardinal : 'a t -> int           val bindings : 'a t -> (key * 'a) list           val split : key -> 'a t -> 'a t * 'a option * 'a t           val map : ('-> 'b) -> 'a t -> 'b t           val mapi : (key -> '-> 'b) -> 'a t -> 'b t           val find : key -> 'a t -> 'a option           val get : key -> 'a t -> 'a           val min_binding : 'a t -> (key * 'a) option           val get_min_binding : 'a t -> key * 'a           val max_binding : 'a t -> (key * 'a) option           val get_max_binding : 'a t -> key * 'a           val choose : 'a t -> (key * 'a) option           val get_any_binding : 'a t -> key * 'a           val to_list : 'a t -> (key * 'a) list           val of_list : (key * 'a) list -> 'a t           val pp :             ?sep:(Format.formatter -> unit -> unit) ->             (Format.formatter -> key * '-> unit) ->             Format.formatter -> 'a t -> unit           val dump :             (Format.formatter -> key * '-> unit) ->             Format.formatter -> 'a t -> unit           type key_set = Pkg.Set.t           val dom : 'a t -> key_set         end       val classify :         ?cmp:('-> '-> int) ->         classes:(t -> 'a list) -> t list -> ('a * Set.t) list       val cachedir : t -> Fpath.t       type cache_status = [ `Fresh | `New | `Stale ]       val cache_status : t -> (cache_status, [ `Msg of string ]) result       val refresh_cache : t -> (unit, [ `Msg of string ]) result       val clear_cache : t -> (unit, [ `Msg of string ]) result       val cobjs_trail : t -> Odig.Private.Trail.t       val install_trail : t -> Odig.Private.Trail.t     end end