Searched refs:Header_Type (Results 1 – 6 of 6) sorted by relevance
53 type Header_Type is (None, Auto, Default, GZip); type141 Header : in Header_Type := Default);152 Header : in Header_Type := Default);322 Header : Header_Type;
60 Header : in Header_Type := Default;
197 Header : in Header_Type := Default)311 Header : in Header_Type := Default)323 ("Inflate header type " & Header_Type'Image (Header)
33 Header : constant ZLib.Header_Type := ZLib.Default;
48 Header : in Header_Type := Default;
37 Header : constant ZLib.Header_Type := ZLib.Default;