From f1e2607426ac8fccf55f68a6af6c7d1deceb1a8f Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Tue, 17 Feb 2026 21:49:48 +0100
Subject: [PATCH]

---
 src/signatures.ml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/signatures.ml b/src/signatures.ml
index 80cebad6..7780b3da 100644
--- a/src/signatures.ml
+++ b/src/signatures.ml
@@ -4,6 +4,17 @@
    check endianness
 
    better handling of decoding failure *)
+
+type one
+type two
+
+type (_, _) typ =
+  | R : 'r -> ('r, one) typ
+  | Sig : string -> ('r, two) typ
+
+let sign : type r. (r -> string) -> (r, one) typ -> (r, two) typ =
+ fun f (R r) -> Sig (f r)
+
 open Hash
 
 module Aliases = struct