(34 . 6)(34 . 15)
969 pragma Inline_Always(FZ_Clear);
970
971
972 -- Set given FZ to a given truth value
973 procedure WBool_To_FZ(V : in WBool; N : out FZ) is
974 begin
975 FZ_Clear(N);
976 FZ_Set_Head(N, V);
977 end WBool_To_FZ;
978 pragma Inline_Always(WBool_To_FZ);
979
980
981 -- First word of N := Source
982 procedure FZ_Set_Head(N : out FZ; Source : in Word) is
983 begin