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
end