Theory Printing

theory Printing
  imports Main
begin

definition print :: "String.literal ⇒ unit" where
"print x = ()"

definition println :: "String.literal ⇒ unit" where
  "println x = print (x + STR ''⏎'')"

definition "print_err = print"
definition "println_err x = print_err (x + STR ''⏎'')"

end