section \<open>Pervasive test of code generator\<close>
theory Generate_Abstract_Char imports
Candidates "HOL-Library.Code_Abstract_Char" begin
text\<open> If any of the checks fails, inspect the code generated by a corresponding \<open>export_code\<close> command. \<close>
export_code _ checking SML OCaml? Haskell? Scala
end
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.13Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
