Up – OCaml package documentation » hardcaml_verify index » Library hardcaml_verify.kernel » Hardcaml_verify_kernel » Nusmv » Counter_example_trace

Module `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