let string_of_level l = match l with | H -> "high" | M (domain) -> "medium: " ^ (string_of_domain domain) | L -> "low"