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