/usr/lib/ocaml/batteries/batGlobal.mli is in libbatteries-ocaml-dev 2.6.0-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 | (*
* Global - Mutable global variable
* Copyright (C) 2003 Nicolas Cannasse
* Copyright (C) 2008 David Teller
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version,
* with the special exception on linking described in file LICENSE.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*)
(** Mutable global variable.
Often in OCaml you want to have a global variable, which is mutable
and uninitialized when declared. You can use a ['a option ref] but
this is not very convenient. The Global module provides functions
to easily create and manipulate such variables.
@author Nicolas Cannasse
@author David Teller (boilerplate code)
*)
type 'a t
(** Abstract type of a global *)
exception Global_not_initialized of string
(** Raised when a global variable is accessed without first having been
assigned a value. The parameter contains the name of the global. *)
val empty : string -> 'a t
(** Returns an new named empty global. The name of the global can be
any string. It identifies the global and makes debugging
easier. Using the same string twice will not return the same
global twice, but will create two globals with the same name.
*)
val name : 'a t -> string
(** Retrieve the name of a global. *)
val set : 'a t -> 'a -> unit
(** Set the global value contents. *)
val get_exn : 'a t -> 'a
(** Get the global value contents - raise Global_not_initialized if not
defined. *)
val get : 'a t -> 'a option
(** Return [None] if the global is undefined, else [Some v] where [v] is
the current global value contents. *)
val undef : 'a t -> unit
(** Reset the global value contents to undefined. *)
val isdef : 'a t -> bool
(** Return [true] if the global value has been set. *)
|