module Feedback:sig
..end
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 : Format.formatter -> t -> unit