Module Chqcomm

module Chqcomm: sig .. end

Common to several checkers.

This source is released to the public domain since 2003. No warranty. Citation of the project Structio and the following URL is appreciated. http://structio.sourceforge.net/repasa

val retval : int Pervasives.ref

Value returned to OS

val rights : int Pervasives.ref

Amount of rights (it should be =1)

val authors : int Pervasives.ref

Amount of authors (it should be >=1 and there should be default)

val bib : int Pervasives.ref

Amount of bibliographies (it should be >=1 and there should be default)

val annotations : int Pervasives.ref

Amount of annotations