| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/doc/plugin_tutorial/tuto1/src/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 263 B |
|
Quelle inspector.mlSprache: SML |
|||||||||||||||
|
open Pp (* * Inspect an input and print a feedback message explaining what it is *) let print_input (a : 'a) (printer : 'a -> Pp.t) (type_str : string) : unit = let msg = printer a ++ strbrk (Printf.sprintf " is a %s." type_str) in Feedback.msg_notice msg
¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet am 2026-06-17) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-11