From 478118f0d0360fd7f9db9b29e9a5ad75479a06a0 Mon Sep 17 00:00:00 2001 From: nojaf Date: Thu, 25 Sep 2025 16:27:48 +0200 Subject: [PATCH] Headers.get return null if not present --- src/FetchAPI/Headers.res | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/FetchAPI/Headers.res b/src/FetchAPI/Headers.res index 8880792..6ff41b6 100644 --- a/src/FetchAPI/Headers.res +++ b/src/FetchAPI/Headers.res @@ -40,7 +40,7 @@ external delete: (headers, string) => unit = "delete" [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/get) */ @send -external get: (headers, string) => string = "get" +external get: (headers, string) => null = "get" /** [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/getSetCookie)