saint-graves/sica-fondt
1
0
Fork 0
mirror of https://github.com/SHOGGOTH-SECTOR/sica-fondt.git synced 2026-07-31 16:16:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Delete monero_types.adb

Browse Source 
why tf is this not in the correct organ
This commit is contained in:
gravermistakes 2026-07-26 16:34:22 -07:00 committed by GitHub
parent 7b1e534cfa
commit cdc7541f2f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
core/src/types/monero_types.adb
View File

@ -1,22 +0,0 @@
package body Monero_Types is
pragma SPARK_Mode (On);
function Threshold_Reached
(Participants : Multisig_Participant_Array;
Required : Positive)
return Boolean
is
Count : Natural := 0;
begin
for P of Participants loop
if P.Status = Accepted then
Count := Count + 1;
end if;
if Count >= Required then
return True;
end if;
end loop;
return False;
end Threshold_Reached;
end Monero_Types;