(30 . 6)(30 . 8)
295 with FZ_BitOp;
296 with FZ_Divis;
297 with FZ_ModEx;
298 with FZ_Measr;
299 with FZ_QShft;
300
301
302 -- FFA Exports
(41 . 15)(43 . 16)
304 --- Fundamental Types and Sizes
305 ----------------------------------------------------------------------------
306
307 subtype Word is Words.Word;
308 subtype WBool is Words.WBool;
309 subtype Word is Words.Word;
310 subtype WBool is Words.WBool;
311
312 subtype Nibble is Words.Nibble;
313 subtype Nibble is Words.Nibble;
314
315 subtype FZ is FZ_Type.FZ;
316 subtype Indices is FZ_Type.Indices;
317 subtype FZ is FZ_Type.FZ;
318 subtype Indices is FZ_Type.Indices;
319 subtype FZBit_Index is FZ_Type.FZBit_Index;
320
321 subtype Char_Count is FZ_IO.Char_Count;
322 subtype Char_Count is FZ_IO.Char_Count;
323
324 Bitness : Positive renames Words.Bitness;
325
(282 . 4)(285 . 24)
327 Result : out FZ)
328 renames FZ_ModEx.FZ_Mod_Exp;
329
330 ----------------------------------------------------------------------------
331 --- Other Operations on FZ
332 ----------------------------------------------------------------------------
333
334 -- Find the index of eldest nonzero bit ( 0 if none, or 1 .. FZBitness )
335 function FFA_FZ_Measure(N : in FZ) return Word
336 renames FZ_Measr.FZ_Measure;
337
338 -- Constant-time arbitrary right-shift.
339 procedure FFA_FZ_Quiet_ShiftRight(N : in FZ;
340 ShiftedN : in out FZ;
341 Count : in FZBit_Index)
342 renames FZ_QShft.FZ_Quiet_ShiftRight;
343
344 -- Constant-time arbitrary left-shift.
345 procedure FFA_FZ_Quiet_ShiftLeft(N : in FZ;
346 ShiftedN : in out FZ;
347 Count : in FZBit_Index)
348 renames FZ_QShft.FZ_Quiet_ShiftLeft;
349
350 end FFA;