Index: src/natools-references__intel.ads
==================================================================
--- src/natools-references__intel.ads
+++ src/natools-references__intel.ads
@@ -35,13 +35,13 @@
 
 package Natools.References is
    pragma Preelaborate (References);
 
    type Accessor (Data : not null access constant Held_Data) is
-     limited private;
+     limited private with Implicit_Dereference => Data;
    type Mutator (Data : not null access Held_Data) is
-     limited private;
+     limited private with Implicit_Dereference => Data;
 
    type Data_Access is access Held_Data;
    for Data_Access'Storage_Pool use Data_Pool;
 
 

Index: src/natools-references__protected.ads
==================================================================
--- src/natools-references__protected.ads
+++ src/natools-references__protected.ads
@@ -33,13 +33,13 @@
 
 package Natools.References is
    pragma Preelaborate (References);
 
    type Accessor (Data : not null access constant Held_Data) is
-     limited private;
+     limited private with Implicit_Dereference => Data;
    type Mutator (Data : not null access Held_Data) is
-     limited private;
+     limited private with Implicit_Dereference => Data;
 
    type Data_Access is access Held_Data;
    for Data_Access'Storage_Pool use Data_Pool;
 
 

Index: src/natools-references__unsafe.ads
==================================================================
--- src/natools-references__unsafe.ads
+++ src/natools-references__unsafe.ads
@@ -32,13 +32,13 @@
 
 package Natools.References is
    pragma Preelaborate (References);
 
    type Accessor (Data : not null access constant Held_Data) is
-     limited private;
+     limited private with Implicit_Dereference => Data;
    type Mutator (Data : not null access Held_Data) is
-     limited private;
+     limited private with Implicit_Dereference => Data;
 
    type Data_Access is access Held_Data;
    for Data_Access'Storage_Pool use Data_Pool;