Cyclesim.Violated_or_not
type t =
| Violated of Base.int Base.list
| Not_violated
val sexp_of_t : t -> Sexplib0.Sexp.t