val uuid_random_state : Stdlib.Random.State.t
val sha256_file_cache : (string, string) BatCache.manual_cache
val sha256_file : string -> string
module Entry : sig ... end
val yaml_entries_to_file : Yaml.value list -> Fpath.t -> unit
val entry_type_enabled : string -> bool
val invariant_type_enabled : string -> bool
val cnt_confirmed : int Stdlib.ref
val cnt_unconfirmed : int Stdlib.ref
val cnt_refuted : int Stdlib.ref
val cnt_unchecked : int Stdlib.ref
val cnt_unsupported : int Stdlib.ref
val cnt_error : int Stdlib.ref
val cnt_disabled : int Stdlib.ref