Module Imandra_util.Console_tag

type tag =
| Results
| Progress
| Waterfall
| Warnings
| Suggestions
val all_tags : tag list
val to_string : tag -> string
val of_string : string -> tag option
val chash : Chash.builder -> tag -> unit