Up – Package index » coq-core » Library coq-core.kernel » Vmbytecodes » Label

Module `Vmbytecodes.Label`Source

Sourcetype t = int

Sourceval no : t

Sourceval create : unit -> t

Sourceval reset_label_counter : unit -> unit