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