type t
[
|
`initial
`good
]
include sig ... end
val sexp_of_t : t ‑> Base.Sexp.t
val to_string : t ‑> string