Module May_contain.Single

type 'resolution t =
  1. | Yes_or_maybe : 'a t
  2. | No : 'a t
  3. | Depends_on_recursion : unresolved t
val sexp_of_t : ('resolution -> Sexplib0.Sexp.t) -> 'resolution t -> Sexplib0.Sexp.t