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