Permalink
Browse files

[cleanup] stdlib, map: Just privatize Map_private

  • Loading branch information...
1 parent 4fc356f commit 87f840eec0a1c43db620d87d98b66b897d6839a7 @BourgerieQuentin BourgerieQuentin committed Mar 5, 2013
Showing with 2 additions and 0 deletions.
  1. +2 −0 lib/stdlib/core/map/map.opa
@@ -69,6 +69,7 @@ type map('key,'val) = ordered_map('key,'val, Order.default)
/**
* Implementation of maps.
*/
+@private
type Map_private.map('key,'val) =
{ empty } /**The empty map*/
/ { left : Map_private.map('key,'val);
@@ -462,6 +463,7 @@ type Map('key,'order) = {{
/* All implementations go into this module, Map_private. */
+@private
Map_private =
{{
empty = { empty }

0 comments on commit 87f840e

Please sign in to comment.