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

denom caqti, move section_name out of denom_data

Browse source
This commit is contained in:
swrup 2025-12-16 17:21:50 +01:00
parent c41ca5b4e2
commit 4f69ac56d2
5 changed files with 145 additions and 136 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/secmod.mli
View file

@ -15,6 +15,7 @@ val get_signkeys_data : t -> Signkey_data.t list
val get_denoms_data : t -> Denom_data.t list
val find_signkey_data : t -> eddsa_pub -> Signkey_data.t option
val find_denom_data : t -> denomination_hash -> Denom_data.t option
val find_denom_section_name : t -> denomination_hash -> string option
(* - management operations - *)
val init : (module Pg.CONN) -> t