generic type Result_Subtype is (<>); package Ada.Numerics.Discrete_Random is -Basicfacilities type Generator is limited private; function Random (Gen : Generator) return Result_Subtype; procedure Reset (Gen : in Generator); procedure Reset (Gen : in Generator; Initiator : in Integer); -Advancedfacilities type State is private; procedure Save (Gen : in Generator; To_State : out State); procedure Reset (Gen : in Generator; From_State : in State); Max_Image_Width : constant := implementation-defined integer value; function Image (Of_State : State) return String; function Value (Coded_State : String) return State; private ... -notspecifiedbythelanguage end Ada.Numerics.Discrete_Random;