blob: d37cbdb74c93c2268146810d5fcc100eb0c05dcb (
plain)
1
2
3
4
5
6
7
8
|
open Pp
(*
* Inspect an input and print a feedback message explaining what it is
*)
let print_input (a : 'a) (printer : 'a -> Pp.t) (type_str : string) : unit =
let msg = printer a ++ strbrk (Printf.sprintf " is a %s." type_str) in
Feedback.msg_notice msg
|
