sig   type t =       Never_tried     | Considered_valid     | Valid     | Valid_under_hyp     | Unknown     | Invalid     | Invalid_under_hyp     | Invalid_but_dead     | Valid_but_dead     | Unknown_but_dead     | Inconsistent   val get : Property.t -> Property_status.Feedback.t   val get_conjunction : Property.t list -> Property_status.Feedback.t   val pretty : Format.formatter -> Property_status.Feedback.t -> unit end