text: GNATdoc.SourceFile = {
    "kind": "code",
    "children": [
      {
        "kind": "line",
        "number": 1,
        "children": [
          {
            "kind": "span",
            "cssClass": "comment",
            "text": "--  pragma SPARK_Mode;"
          }
        ]
      },
      {
        "kind": "line",
        "number": 2,
        "children": [
        ]
      },
      {
        "kind": "line",
        "number": 3,
        "children": [
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "with"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Types"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "use"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Types"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      },
      {
        "kind": "line",
        "number": 4,
        "children": [
        ]
      },
      {
        "kind": "line",
        "number": 5,
        "children": [
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "with"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Zumo_LSM303"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      },
      {
        "kind": "line",
        "number": 6,
        "children": [
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "with"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Zumo_L3gd20h"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      },
      {
        "kind": "line",
        "number": 7,
        "children": [
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "with"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Wire"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      },
      {
        "kind": "line",
        "number": 8,
        "children": [
        ]
      },
      {
        "kind": "line",
        "number": 9,
        "children": [
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "package"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Zumo_Motion",
            "href": "docs/zumo_motion___spec.html#L9C9"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "is"
          }
        ]
      },
      {
        "kind": "line",
        "number": 10,
        "children": [
        ]
      },
      {
        "kind": "line",
        "number": 11,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "   "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Initd",
            "href": "docs/zumo_motion___spec.html#L11C4"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ":"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Boolean"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ":="
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "False"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      },
      {
        "kind": "line",
        "number": 12,
        "children": [
        ]
      },
      {
        "kind": "line",
        "number": 13,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "   "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "procedure"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Init",
            "href": "docs/zumo_motion___spec.html#L13C14"
          }
        ]
      },
      {
        "kind": "line",
        "number": 14,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "     "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "with"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " Global => (Input  => (Wire.Transmission_Status),"
          }
        ]
      },
      {
        "kind": "line",
        "number": 15,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "                     Output => (Initd,"
          }
        ]
      },
      {
        "kind": "line",
        "number": 16,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "                                Zumo_LSM303.Initd,"
          }
        ]
      },
      {
        "kind": "line",
        "number": 17,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "                                Zumo_L3gd20h.Initd)),"
          }
        ]
      },
      {
        "kind": "line",
        "number": 18,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "     Pre => "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "not"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " Initd,"
          }
        ]
      },
      {
        "kind": "line",
        "number": 19,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "     Post => Initd"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      },
      {
        "kind": "line",
        "number": 20,
        "children": [
        ]
      },
      {
        "kind": "line",
        "number": 21,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "   "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "function"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Get_Heading",
            "href": "docs/zumo_motion___spec.html#L21C13"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "return"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Degrees",
            "href": "docs/types___spec.html#L97C12"
          }
        ]
      },
      {
        "kind": "line",
        "number": 22,
        "children": [
          {
            "kind": "span",
            "cssClass": "text",
            "text": "     "
          },
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "with"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " Pre => Initd"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      },
      {
        "kind": "line",
        "number": 23,
        "children": [
        ]
      },
      {
        "kind": "line",
        "number": 24,
        "children": [
          {
            "kind": "span",
            "cssClass": "keyword",
            "text": "end"
          },
          {
            "kind": "span",
            "cssClass": "text",
            "text": " "
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": "Zumo_Motion"
          },
          {
            "kind": "span",
            "cssClass": "identifier",
            "text": ";"
          }
        ]
      }
    ],
    "label": "zumo_motion.ads"
  };