aboutsummaryrefslogtreecommitdiff
path: root/doc/plugin_tutorial/tuto1/src/inspector.mli
blob: 52b970bbe0a36bcfae400f25d108cf7b597db536 (plain)
1
2
3
4
(*
 * Inspect an input and print a feedback message explaining what it is
 *)
val print_input : 'a -> ('a -> Pp.t) -> string -> unit