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