Hardcaml.Assertion_manager
type t
val sexp_of_t : t -> Sexplib0.Sexp.t
val finalize : t -> Signal.t Base.Map.M(Base.String).t
val create : Base.unit -> t
val add : t -> Base.string -> Signal.t -> Base.unit
val of_signals : Signal.t Base.Map.M(Base.String).t -> t
Create a finalized assertion manager instance that contains the provided assertions.