Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/hap/tst/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 19.6.2025 mit Größe 115 B image not shown  

Quelle  counter.mli   Sprache: unbekannt

 
(*
 * This file defines our counter, which we use in the Count command.
 *)

(*
 * Increment the counter
 *)
val increment : unit -> unit

(*
 * Determine the value of the counter
 *)
val value : unit -> int

94%


[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]