# Adacovex.Docs_Template Generated by tools/gen-docs.py from the Sphinx manual (docs/): the whole built site (pages, stylesheets, scripts, badges, search) as a gzip-compressed, base64-encoded offline asset blob + lookup table. --serve exposes it at /docs/ with Content-Encoding: gzip (the browser inflates it). Do not edit by hand; edit docs/ and run make book. > **Note:** All items in this package are public. ## Types ### type Asset_Body ```ada type Asset_Body is access constant String; ``` ### type Asset_Index ```ada subtype Asset_Index is Positive range 1 .. Asset_Count; ``` ### type Asset_Ref ```ada type Asset_Ref is record Path : String (1 .. Max_Path) := (others => ' '); Mime : String (1 .. Max_Mime) := (others => ' '); Idx : Body_Index; Gzip : Boolean; end record; ``` ### type Asset_Table ```ada type Asset_Table is array (Positive range <>) of Asset_Ref; ``` ### type Body_Index ```ada subtype Body_Index is Positive range 1 .. Body_Count; ``` ## Functions ### function Body_Bytes (B : Adacovex.Docs_Template.Body_Index; Is_Gzip : Standard.Boolean) return Standard.String | Parameter | Description | |-----------|-------------| | `B` | | | `Is_Gzip` | | ### function Content (Idx : Adacovex.Docs_Template.Asset_Index) return Standard.String | Parameter | Description | |-----------|-------------| | `Idx` | | ### function Find (Subpath : Standard.String) return Standard.Natural | Parameter | Description | |-----------|-------------| | `Subpath` | |