API Version 4.10
< General Index
CamlinternalMenhirLib.StaticVersion
Module
CamlinternalMenhirLib.StaticVersion
module
StaticVersion
:
sig
..
end
val
require_20181113
:
unit
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from
this page
.