| products/Sources/formale Sprachen/C/Apache/docs/manual/programs/ (Apache Web Server Version 2.4.65©) Datei vom 19.0.2025 mit Größe 11 kB |
|
Quelle counter.mlSprache: SML |
|||||||||||||||
|
(* * This file defines our counter, which we use in the Count command. *) (* * Our counter is simply a reference called "counter" to an integer. * * Summary.ref behaves like ref, but also registers a summary to Coq. *) let counter = Summary.ref ~name:"counter" 0 (* * We can increment our counter: *) let increment () = counter := succ !counter (* * We can also read the value of our counter: *) let value () = !counter
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-06-17) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-27