with Ada.Numerics.Discrete_Random; package Libsens.Virtual.Aux is procedure True_Table_Initialize(True_Table : in out True_Table_Type); type Breaks_Set_Access is access Breaks_Set_Type; package Break_Rand is new Ada.Numerics.Discrete_Random(Break_Type); package Form_Rand is new Ada.Numerics.Discrete_Random(Form_Index_Type); end Libsens.Virtual.Aux;