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