package hardcaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

OCaml

Innovation. Community. Security.