1 2 3 4 5 6 7 8
type action = Print of string | Print_arg | Skip_arg;; val find_macro: string -> action list;; val def_macro: string -> action list -> unit;;