Module Private.Step

type t =
| Reset
| Check
| Comb0
| Seq
| Comb1
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t