let pretty fmt e = let txt = match e with | Enone -> "----" | Ethen -> "then" | Eelse -> "else" | Eback -> "back" | EbackThen -> "then-back" | EbackElse -> "else-back" in Format.fprintf fmt "%s" txt