swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2025-10-16 16:32:51 +02:00
parent c18bbc6854
commit 21cb64725b
2 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/secmod_denom.ml
View file

@ -4,7 +4,8 @@ type rsa = {
sign: sign:
(* TODO sig type (* TODO sig type
should be should be
string -> RsaSignature.t *) string -> RsaSignature.t
+ b32 *)
string -> string ->
string; string;
} }

3
src/secmod_keys.ml
View file

@ -3,7 +3,8 @@ type t = {
sign: sign:
(* TODO sig type (* TODO sig type
should be should be
string -> EddsaSignature.t *) string -> EddsaSignature.t
+ b32 *)
string -> string ->
string; string;
} }