let print_eval xp = let res = eval xp in if !_print_unit || res <> !Eval._str_unit then begin if !_remind then begin pf "%s = " xp; if !_remind_newline then ps "\n" end; if !_insert_result then ps "> "; pl res end