(************************************************************************) (* * The Rocq Prover / The Rocq Development Team *) (* v * Copyright INRIA, CNRS and contributors *) (* <O___,, * (see version control and CREDITS file for authors & dates) *) (* \VV/ **************************************************************) (* // * This file is distributed under the terms of the *) (* * GNU Lesser General Public License Version 2.1 *) (* * (see LICENSE file for the text of the license) *) (************************************************************************)
val getenv_opt : string -> stringoption
val getenv_rocq : string -> stringoption (** [getenv_rocq name] returns the value of "ROCQ$name" if it exists, otherwise the value of "COQ$name" if it exists and warns that it
is deprecated, otherwise [None]. *)
val getenv_rocq_gen : rocq:string -> coq:string -> stringoption (** [getenv_rocq_gen ~rocq ~coq] returns the value of [rocq] if it exists, otherwise the value of [coq] if it exists and warns that
it is deprecated, otherwise [None]. *)
val set_warn_deprecated_coq_var : (rocq:string -> coq:string -> unit) -> unit
¤ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
