From 7ce8ac1fb064153f73182dd3d410140001190954 Mon Sep 17 00:00:00 2001 From: Volker Diels-Grabsch Date: Sat, 28 Feb 2026 00:08:33 +0100 Subject: [PATCH] Simplify custom "env" type in example Since we are already using the "constraint 'a =" syntax, the "as 'a" at the end is not needed, and even confusing. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ab0d1976e..a13ece132 100644 --- a/README.md +++ b/README.md @@ -1840,7 +1840,7 @@ module Status : sig net : _ Eio.Net.t; (** To connect to the servers *) clock : _ Eio.Time.clock; (** Needed for timeouts *) .. - > as 'a + > val check : _ env -> bool end