State.S
type state_witness
val sexp_of_state_witness : state_witness -> Ppx_sexp_conv_lib.Sexp.t
val t : state_witness t