sig
  module Make :
    functor
      (Module_name : sig
                       type t
                       module Set :
                         sig
                           type elt = t
                           type t
                           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 disjoint : t -> t -> bool
                           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 map : (elt -> elt) -> t -> t
                           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 filter_map : (elt -> elt option) -> t -> t
                           val partition : (elt -> bool) -> t -> t * t
                           val cardinal : t -> int
                           val elements : t -> elt list
                           val min_elt : t -> elt
                           val min_elt_opt : t -> elt option
                           val max_elt : t -> elt
                           val max_elt_opt : t -> elt option
                           val choose : t -> elt
                           val choose_opt : t -> elt option
                           val split : elt -> t -> t * bool * t
                           val find : elt -> t -> elt
                           val find_opt : elt -> t -> elt option
                           val find_first : (elt -> bool) -> t -> elt
                           val find_first_opt :
                             (elt -> bool) -> t -> elt option
                           val find_last : (elt -> bool) -> t -> elt
                           val find_last_opt :
                             (elt -> bool) -> t -> elt option
                           val of_list : elt list -> t
                           val to_seq_from : elt -> t -> elt Seq.t
                           val to_seq : t -> elt Seq.t
                           val add_seq : elt Seq.t -> t -> t
                           val of_seq : elt Seq.t -> t
                         end
                       module Map :
                         sig
                           type key = t
                           type +'a 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 update :
                             key -> ('a option -> 'a option) -> '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 filter_map :
                             (key -> '-> 'b option) -> 'a t -> 'b t
                           val partition :
                             (key -> '-> bool) -> 'a t -> 'a t * 'a t
                           val cardinal : 'a t -> int
                           val bindings : 'a t -> (key * 'a) list
                           val min_binding : 'a t -> key * 'a
                           val min_binding_opt : 'a t -> (key * 'a) option
                           val max_binding : 'a t -> key * 'a
                           val max_binding_opt : 'a t -> (key * 'a) option
                           val choose : 'a t -> key * 'a
                           val choose_opt : 'a t -> (key * 'a) option
                           val split : key -> 'a t -> 'a t * 'a option * 'a t
                           val find : key -> 'a t -> 'a
                           val find_opt : key -> 'a t -> 'a option
                           val find_first : (key -> bool) -> 'a t -> key * 'a
                           val find_first_opt :
                             (key -> bool) -> 'a t -> (key * 'a) option
                           val find_last : (key -> bool) -> 'a t -> key * 'a
                           val find_last_opt :
                             (key -> bool) -> 'a t -> (key * 'a) option
                           val map : ('-> 'b) -> 'a t -> 'b t
                           val mapi : (key -> '-> 'b) -> 'a t -> 'b t
                           val to_seq : 'a t -> (key * 'a) Seq.t
                           val to_seq_from : key -> 'a t -> (key * 'a) Seq.t
                           val add_seq : (key * 'a) Seq.t -> 'a t -> 'a t
                           val of_seq : (key * 'a) Seq.t -> 'a t
                         end
                       module Tbl :
                         sig
                           type key = t
                           type 'a t
                           val create : int -> 'a t
                           val clear : 'a t -> unit
                           val reset : 'a t -> unit
                           val copy : 'a t -> 'a t
                           val add : 'a t -> key -> '-> unit
                           val remove : 'a t -> key -> unit
                           val find : 'a t -> key -> 'a
                           val find_opt : 'a t -> key -> 'a option
                           val find_all : 'a t -> key -> 'a list
                           val replace : 'a t -> key -> '-> unit
                           val mem : 'a t -> key -> bool
                           val iter : (key -> '-> unit) -> 'a t -> unit
                           val filter_map_inplace :
                             (key -> '-> 'a option) -> 'a t -> unit
                           val fold :
                             (key -> '-> '-> 'b) -> 'a t -> '-> 'b
                           val length : 'a t -> int
                           val stats : 'a t -> Hashtbl.statistics
                           val to_seq : 'a t -> (key * 'a) Seq.t
                           val to_seq_keys : 'a t -> key Seq.t
                           val to_seq_values : 'a t -> 'Seq.t
                           val add_seq : 'a t -> (key * 'a) Seq.t -> unit
                           val replace_seq : 'a t -> (key * 'a) Seq.t -> unit
                           val of_seq : (key * 'a) Seq.t -> 'a t
                         end
                       val compare :
                         Consistbl.Make.t -> Consistbl.Make.t -> int
                     end)
      ->
      sig
        type t
        val create : unit -> Consistbl.Make.t
        val clear : Consistbl.Make.t -> unit
        val check :
          Consistbl.Make.t ->
          Module_name.t -> Stdlib.Digest.t -> Misc.filepath -> unit
        val check_noadd :
          Consistbl.Make.t ->
          Module_name.t -> Stdlib.Digest.t -> Misc.filepath -> unit
        val set :
          Consistbl.Make.t ->
          Module_name.t -> Stdlib.Digest.t -> Misc.filepath -> unit
        val source : Consistbl.Make.t -> Module_name.t -> Misc.filepath
        val extract :
          Module_name.t list ->
          Consistbl.Make.t -> (Module_name.t * Stdlib.Digest.t option) list
        val extract_map :
          Module_name.Set.t ->
          Consistbl.Make.t -> Stdlib.Digest.t option Module_name.Map.t
        val filter : (Module_name.t -> bool) -> Consistbl.Make.t -> unit
        exception Inconsistency of { unit_name : Module_name.t;
                    inconsistent_source : string; original_source : string;
                  }
        exception Not_available of Module_name.t
      end
end