package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Creates a counter that is shared among all projects, but which is marshalling-compliant.

  • since Carbon-20101201

Parameters

module _ : sig ... end

Signature

val next : unit -> int

Increments the counter and returns a fresh value

val get : unit -> int
  • returns

    the current value of the counter, without incrementing it.

  • since Fluorine-20130401
val reset : unit -> unit

Resets the counter to 0.

  • since 29.0-Copper
val self : State.t
  • since Oxygen-20120901
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct