Commit 73485045 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Clean up the description of the signature [ARRAY].

parent 8af4e336
......@@ -80,10 +80,10 @@ module type IMPERATIVE_MAPS = sig
val iter: (key -> 'data -> unit) -> 'data t -> unit
end
(**[ARRAY] is an alternative abstraction of Maps.
An instance of [ARRAY] directly represents a map, there is no separate
object of type ['a t].
The [value] type is fixed, allowing for specialized representations.
(**An instance of the signature [ARRAY] represents one mutable map.
There is no type ['data t] and no [create] operation; there exists
just one map. Furthermore, the type [value], which corresponds to
['data] in the previous signatures, is fixed.
The domain of the map never changes:
- [set] does not extend the map,
......@@ -94,6 +94,7 @@ module type ARRAY = sig
val get : key -> value
val set : key -> value -> unit
end
(* -------------------------------------------------------------------------- *)
(**The signature [PROPERTY] is used by [Fix.Make], the least fixed point
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment