Nusmv.Counter_example_trace
type nusmv := t
type t
val sexp_of_t : t -> Sexplib0.Sexp.t
val to_trace : t -> (Base.string * Hardcaml.Bits.t) Base.list Base.list
val to_waveform : nusmv -> t -> Hardcaml_waveterm.Waveform.t