diff options
Diffstat (limited to 'stdlib/queue.ml')
| -rw-r--r-- | stdlib/queue.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/queue.ml b/stdlib/queue.ml index 605a89204..4e12eb3d2 100644 --- a/stdlib/queue.ml +++ b/stdlib/queue.ml @@ -15,7 +15,7 @@ exception Empty -(* O'Caml currently does not allow the components of a sum type to be +(* OCaml currently does not allow the components of a sum type to be mutable. Yet, for optimal space efficiency, we must have cons cells whose [next] field is mutable. This leads us to define a type of cyclic lists, so as to eliminate the [Nil] case and the sum |