diff options
| author | Arnaud Spiwack | 2014-07-11 14:36:37 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-07-11 14:36:37 +0200 |
| commit | b56c318f471e3c82cebbd64aa80ceb83e8ae8b63 (patch) | |
| tree | 78b00a7de45ca968c580a5a4c4b810212c8c18b8 | |
| parent | 677a9b8e62893416ac195e316473a4bd421a1d79 (diff) | |
An outdated comment + comment layout.
| -rw-r--r-- | lib/store.ml | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/lib/store.ml b/lib/store.ml index 272d87ca38..a3ffc6d1d7 100644 --- a/lib/store.ml +++ b/lib/store.ml @@ -6,14 +6,13 @@ (* * GNU Lesser General Public License Version 2.1 *) (***********************************************************************) -(*** This module implements an "untyped store", in this particular case we - see it as an extensible record whose fields are left unspecified. ***) +(** This module implements an "untyped store", in this particular case + we see it as an extensible record whose fields are left + unspecified. ***) -(* We give a short implementation of a universal type. This is mostly equivalent - to what is proposed by module Dyn.ml, except that it requires no explicit tag. *) - -(* We use a dynamic "name" allocator. But if we needed to serialise stores, we -might want something static to avoid troubles with plugins order. *) +(** We use a dynamic "name" allocator. But if we needed to serialise + stores, we might want something static to avoid troubles with + plugins order. *) module type T = sig @@ -34,13 +33,13 @@ end module Make (M : T) : S = struct -let next = - let count = ref 0 in fun () -> - let n = !count in - incr count; - n + let next = + let count = ref 0 in fun () -> + let n = !count in + incr count; + n -type t = Obj.t option array + type t = Obj.t option array (** Objects are accessed through an array access. *) type 'a field = int |
