Property_status.Feedback
Lighter version than Consolidation
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
Same constructor than Consolidation.t, without argument.
val get : Property.t -> t
val get_conjunction : Property.t list -> t
val pretty : Stdlib.Format.formatter -> t -> unit