Module Rtl.Digest

type t
val sexp_of_t : t -> Sexplib0.Sexp.t
val create : ?database:Circuit_database.t -> ?blackbox:Blackbox.t -> Language.t -> Circuit.t -> t
val to_string : t -> Base.String.t