package coq

  1. Overview
  2. Docs

Module Tuto2_plugin.Persistent_counterSource

Sourceval increment : unit -> unit
Sourceval value : unit -> int