package hardcaml_verify

  1. Overview
  2. Docs
type nusmv := t
type t
val sexp_of_t : t -> Sexplib0.Sexp.t
val to_waveform : nusmv -> t -> Hardcaml_waveterm.Waveform.t