sig
  type t
  val create : unit -> CCHashTrie.Transient.t
  val equal : CCHashTrie.Transient.t -> CCHashTrie.Transient.t -> bool
  val frozen : CCHashTrie.Transient.t -> bool
  val active : CCHashTrie.Transient.t -> bool
  val freeze : CCHashTrie.Transient.t -> unit
  val with_ : (CCHashTrie.Transient.t -> 'a) -> 'a
  exception Frozen
end