add definition to print.ml