Module 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