README.md

@@ -1758,8 +1758,8 @@ In many cases, it's clearer (if a little more verbose) to take the resources you
 ```ocaml
 module Status : sig
   val check :
-    clock:_ Eio.Time.clock ->
-    net:_ Eio.Net.t ->
+    clock:#Eio.Time.clock ->
+    net:#Eio.Net.t ->
     bool
 end
 ```
@@ -1776,9 +1776,9 @@ If you define the type explicitly, you can describe why you need each resource t
 <!-- $MDX skip -->
 ```ocaml
 module Status : sig
-  type 'a env = 'a constraint 'a = <
-    net : _ Eio.Net.t;             (** To connect to the servers *)
-    clock : _ Eio.Time.clock;      (** Needed for timeouts *)
+  type 'a env = <
+    net : #Eio.Net.t;             (** To connect to the servers *)
+    clock : #Eio.Time.clock;      (** Needed for timeouts *)
     ..
   > as 'a
 
@@ -1786,6 +1786,7 @@ module Status : sig
 end
 ```
 
+
 ## Further Reading
 
 - [API reference][Eio API]