-
+ A447E0654CEF6958CB6C0B03094FE8B900B6EC0CDA812355565C1972051973398C8390D968EAF5719D8B0B97D4D5F0B0D503E906645E020C97D479169429F332ffa/libffa/fz_lim.ads(0 . 0)(1 . 32)
1051 ------------------------------------------------------------------------------
1052 ------------------------------------------------------------------------------
1053 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
1054 -- --
1055 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
1056 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
1057 -- --
1058 -- You do not have, nor can you ever acquire the right to use, copy or --
1059 -- distribute this software ; Should you use this software for any purpose, --
1060 -- or copy and distribute it to anyone or in any manner, you are breaking --
1061 -- the laws of whatever soi-disant jurisdiction, and you promise to --
1062 -- continue doing so for the indefinite future. In any case, please --
1063 -- always : read and understand any software ; verify any PGP signatures --
1064 -- that you use - for any purpose. --
1065 -- --
1066 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
1067 ------------------------------------------------------------------------------
1068 ------------------------------------------------------------------------------
1069
1070 package FZ_Lim is
1071
1072 pragma Pure;
1073
1074 FZ_Minimal_Bitness : constant Positive := 256;
1075
1076 FZ_Validity_Rule_Doc : constant String
1077 := "Must be greater than or equal to 256, and a power of 2.";
1078
1079 -- Determine if a proposed FFA Bitness is valid.
1080 function FZ_Valid_Bitness_P(B : in Positive) return Boolean;
1081
1082 end FZ_Lim;