From 94b0517a95af6b97df1e698f6a523f62660bc4f7 Mon Sep 17 00:00:00 2001 From: swrup Date: Mon, 15 Dec 2025 18:29:02 +0100 Subject: [PATCH] --- src/secmod.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/src/secmod.mli b/src/secmod.mli index ba897b50..3c022ce1 100644 --- a/src/secmod.mli +++ b/src/secmod.mli @@ -2,6 +2,7 @@ open Crypto type t +val sign : ('r -> string) -> (eddsa_sig -> 't) -> 'r -> 't val get_sm_key_priv : t -> eddsa_priv val get_sm_key_pub : t -> eddsa_pub val get_signkeys : t -> Signkey_data.t list