File : varints.ads

   1 with Ada.Streams; use Ada.Streams;
   2 with Interfaces; use Interfaces;
   3 
   4 
   5 package VarInts is
   6    
   7    type VarInt is new Unsigned_64;
   8    
   9 private
  10    
  11    procedure VarInt_Write(Stream : not null access Root_Stream_Type'Class;
  12                           I : in VarInt);
  13    for VarInt'Write use VarInt_Write;
  14    
  15    procedure VarInt_Read(Stream : not null access Root_Stream_Type'Class;
  16                          I : out VarInt);
  17    for VarInt'Read use VarInt_Read;
  18    
  19 end VarInts;