package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Creates a projectified counter. That starts at 0

  • since Nitrogen-20111001

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 self : State.t
  • since Oxygen-20120901
OCaml

Innovation. Community. Security.