type-checking.svg

<svg version="1.1" viewBox="0.0 0.0 960.0 720.0" fill="none" stroke="none" stroke-linecap="square" stroke-miterlimit="10" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg"><clipPath id="p.0"><path d="m0 0l960.0 0l0 720.0l-960.0 0l0 -720.0z" clip-rule="nonzero"/></clipPath><g clip-path="url(#p.0)"><path fill="#000000" fill-opacity="0.0" d="m0 0l960.0 0l0 720.0l-960.0 0z" fill-rule="evenodd"/><path fill="#d9d2e9" d="m121.41732 305.99738l0 0c0 -164.70262 141.28766 -298.22046 315.5748 -298.22046l0 0c83.69562 0 163.96332 31.419565 223.14508 87.346756c59.181763 55.927185 92.42975 131.78073 92.42975 210.87372l0 0c0 164.7026 -141.28766 298.22046 -315.57483 298.22046l0 0c-174.28714 0 -315.5748 -133.51785 -315.5748 -298.22046z" fill-rule="evenodd"/><path stroke="#000000" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m121.41732 305.99738l0 0c0 -164.70262 141.28766 -298.22046 315.5748 -298.22046l0 0c83.69562 0 163.96332 31.419565 223.14508 87.346756c59.181763 55.927185 92.42975 131.78073 92.42975 210.87372l0 0c0 164.7026 -141.28766 298.22046 -315.57483 298.22046l0 0c-174.28714 0 -315.5748 -133.51785 -315.5748 -298.22046z" fill-rule="evenodd"/><path fill="#000000" fill-opacity="0.0" d="m256.4462 251.24672l609.8898 0l0 71.14961l-609.8898 0z" fill-rule="evenodd"/><path fill="#000000" d="m267.6337 290.9667l0 -22.90625l4.625 0l0 22.90625l-4.625 0zm16.609375 -16.59375l0 3.5l-3.0 0l0 6.6875q0 2.03125 0.078125 2.375q0.09375 0.328125 0.390625 0.546875q0.3125 0.21875 0.75 0.21875q0.609375 0 1.765625 -0.421875l0.375 3.40625q-1.53125 0.65625 -3.46875 0.65625q-1.1875 0 -2.140625 -0.390625q-0.953125 -0.40625 -1.40625 -1.03125q-0.4375 -0.640625 -0.609375 -1.71875q-0.140625 -0.765625 -0.140625 -3.09375l0 -7.234375l-2.015625 0l0 -3.5l2.015625 0l0 -3.296875l4.40625 -2.5625l0 5.859375l3.0 0zm17.125 16.59375l0 -19.03125l-6.796875 0l0 -3.875l18.203125 0l0 3.875l-6.78125 0l0 19.03125l-4.625 0zm12.28125 -16.59375l4.671875 0l3.96875 11.78125l3.875 -11.78125l4.546875 0l-5.859375 15.96875l-1.046875 2.890625q-0.578125 1.453125 -1.109375 2.21875q-0.515625 0.765625 -1.203125 1.234375q-0.671875 0.484375 -1.671875 0.75q-0.984375 0.265625 -2.234375 0.265625q-1.265625 0 -2.484375 -0.265625l-0.390625 -3.4375q1.03125 0.203125 1.859375 0.203125q1.53125 0 2.265625 -0.90625q0.734375 -0.890625 1.125 -2.28125l-6.3125 -16.640625zm19.75 0l4.09375 0l0 2.4375q0.796875 -1.25 2.15625 -2.03125q1.359375 -0.78125 3.015625 -0.78125q2.890625 0 4.90625 2.265625q2.015625 2.265625 2.015625 6.3125q0 4.15625 -2.03125 6.46875q-2.03125 2.296875 -4.921875 2.296875q-1.375 0 -2.5 -0.546875q-1.109375 -0.546875 -2.34375 -1.875l0 8.359375l-4.390625 0l0 -22.90625zm4.34375 8.015625q0 2.796875 1.109375 4.140625q1.109375 1.328125 2.703125 1.328125q1.53125 0 2.546875 -1.21875q1.015625 -1.234375 1.015625 -4.03125q0 -2.609375 -1.046875 -3.875q-1.046875 -1.265625 -2.59375 -1.265625q-1.609375 0 -2.671875 1.25q-1.0625 1.234375 -1.0625 3.671875zm24.9375 3.296875l4.375 0.734375q-0.84375 2.40625 -2.671875 3.671875q-1.8125 1.25 -4.546875 1.25q-4.328125 0 -6.40625 -2.828125q-1.640625 -2.265625 -1.640625 -5.71875q0 -4.125 2.15625 -6.453125q2.15625 -2.34375 5.453125 -2.34375q3.703125 0 5.84375 2.453125q2.140625 2.4375 2.046875 7.484375l-11.0 0q0.046875 1.953125 1.0625 3.046875q1.015625 1.078125 2.53125 1.078125q1.03125 0 1.734375 -0.5625q0.703125 -0.5625 1.0625 -1.8125zm0.25 -4.4375q-0.046875 -1.90625 -0.984375 -2.890625q-0.9375 -1.0 -2.28125 -1.0q-1.4375 0 -2.375 1.046875q-0.9375 1.046875 -0.921875 2.84375l6.5625 0zm31.515625 1.296875l4.484375 1.421875q-1.03125 3.75 -3.4375 5.578125q-2.390625 1.8125 -6.078125 1.8125q-4.5625 0 -7.5 -3.109375q-2.9375 -3.125 -2.9375 -8.53125q0 -5.71875 2.953125 -8.875q2.953125 -3.171875 7.765625 -3.171875q4.203125 0 6.828125 2.484375q1.5625 1.46875 2.34375 4.21875l-4.578125 1.09375q-0.40625 -1.78125 -1.703125 -2.8125q-1.28125 -1.03125 -3.125 -1.03125q-2.546875 0 -4.140625 1.828125q-1.578125 1.828125 -1.578125 5.921875q0 4.34375 1.5625 6.1875q1.5625 1.84375 4.0625 1.84375q1.84375 0 3.171875 -1.171875q1.328125 -1.171875 1.90625 -3.6875zm12.796875 -14.484375l0 8.421875q2.125 -2.484375 5.078125 -2.484375q1.515625 0 2.734375 0.5625q1.21875 0.5625 1.828125 1.4375q0.625 0.875 0.84375 1.9375q0.234375 1.0625 0.234375 3.296875l0 9.734375l-4.390625 0l0 -8.765625q0 -2.609375 -0.25 -3.3125q-0.25 -0.703125 -0.890625 -1.109375q-0.625 -0.421875 -1.578125 -0.421875q-1.09375 0 -1.953125 0.53125q-0.859375 0.53125 -1.265625 1.609375q-0.390625 1.0625 -0.390625 3.15625l0 8.3125l-4.390625 0l0 -22.90625l4.390625 0zm24.78125 17.625l4.375 0.734375q-0.84375 2.40625 -2.671875 3.671875q-1.8125 1.25 -4.546875 1.25q-4.328125 0 -6.40625 -2.828125q-1.640625 -2.265625 -1.640625 -5.71875q0 -4.125 2.15625 -6.453125q2.15625 -2.34375 5.453125 -2.34375q3.703125 0 5.84375 2.453125q2.140625 2.4375 2.046875 7.484375l-11.0 0q0.046875 1.953125 1.0625 3.046875q1.015625 1.078125 2.53125 1.078125q1.03125 0 1.734375 -0.5625q0.703125 -0.5625 1.0625 -1.8125zm0.25 -4.4375q-0.046875 -1.90625 -0.984375 -2.890625q-0.9375 -1.0 -2.28125 -1.0q-1.4375 0 -2.375 1.046875q-0.9375 1.046875 -0.921875 2.84375l6.5625 0zm22.40625 -1.96875l-4.328125 0.78125q-0.21875 -1.296875 -1.0 -1.953125q-0.765625 -0.65625 -2.0 -0.65625q-1.640625 0 -2.625 1.140625q-0.96875 1.125 -0.96875 3.78125q0 2.953125 0.984375 4.171875q1.0 1.21875 2.671875 1.21875q1.25 0 2.046875 -0.703125q0.796875 -0.71875 1.125 -2.453125l4.3125 0.734375q-0.671875 2.96875 -2.578125 4.484375q-1.90625 1.515625 -5.109375 1.515625q-3.640625 0 -5.8125 -2.296875q-2.15625 -2.296875 -2.15625 -6.359375q0 -4.109375 2.171875 -6.390625q2.171875 -2.296875 5.875 -2.296875q3.03125 0 4.8125 1.3125q1.796875 1.296875 2.578125 3.96875zm3.171875 11.6875l0 -22.90625l4.390625 0l0 12.15625l5.140625 -5.84375l5.40625 0l-5.671875 6.0625l6.078125 10.53125l-4.734375 0l-4.171875 -7.453125l-2.046875 2.140625l0 5.3125l-4.390625 0zm16.40625 -4.734375l4.40625 -0.671875q0.28125 1.28125 1.140625 1.953125q0.859375 0.65625 2.40625 0.65625q1.703125 0 2.5625 -0.625q0.578125 -0.4375 0.578125 -1.171875q0 -0.5 -0.3125 -0.828125q-0.328125 -0.3125 -1.46875 -0.578125q-5.3125 -1.171875 -6.734375 -2.140625q-1.96875 -1.34375 -1.96875 -3.734375q0 -2.15625 1.703125 -3.625q1.703125 -1.46875 5.28125 -1.46875q3.40625 0 5.0625 1.109375q1.65625 1.109375 2.28125 3.28125l-4.140625 0.765625q-0.265625 -0.96875 -1.015625 -1.484375q-0.734375 -0.515625 -2.109375 -0.515625q-1.734375 0 -2.484375 0.484375q-0.5 0.34375 -0.5 0.890625q0 0.46875 0.4375 0.796875q0.59375 0.4375 4.09375 1.234375q3.515625 0.796875 4.90625 1.953125q1.375 1.171875 1.375 3.265625q0 2.28125 -1.90625 3.921875q-1.90625 1.640625 -5.640625 1.640625q-3.390625 0 -5.375 -1.375q-1.96875 -1.375 -2.578125 -3.734375z" fill-rule="nonzero"/><path fill="#fff2cc" d="m629.0184 148.93439l0 0c0 -40.738617 36.205017 -73.76379 80.86615 -73.76379l0 0c44.661133 0 80.86615 33.02517 80.86615 73.76379l0 0c0 40.7386 -36.205017 73.76378 -80.86615 73.76378l0 0c-44.661133 0 -80.86615 -33.025177 -80.86615 -73.76378z" fill-rule="evenodd"/><path stroke="#000000" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m629.0184 148.93439l0 0c0 -40.738617 36.205017 -73.76379 80.86615 -73.76379l0 0c44.661133 0 80.86615 33.02517 80.86615 73.76379l0 0c0 40.7386 -36.205017 73.76378 -80.86615 73.76378l0 0c-44.661133 0 -80.86615 -33.025177 -80.86615 -73.76378z" fill-rule="evenodd"/><path fill="#000000" fill-opacity="0.0" d="m638.00525 113.35958l609.8898 0l0 71.149605l-609.8898 0z" fill-rule="evenodd"/><path fill="#000000" d="m649.19275 153.07957l0 -22.90625l4.625 0l0 22.90625l-4.625 0zm16.609375 -16.59375l0 3.5l-3.0 0l0 6.6875q0 2.03125 0.078125 2.375q0.09375 0.328125 0.390625 0.546875q0.3125 0.21875 0.75 0.21875q0.609375 0 1.765625 -0.421875l0.375 3.40625q-1.53125 0.65625 -3.46875 0.65625q-1.1875 0 -2.140625 -0.390625q-0.953125 -0.40625 -1.40625 -1.03125q-0.4375 -0.640625 -0.609375 -1.71875q-0.140625 -0.765625 -0.140625 -3.09375l0 -7.234375l-2.015625 0l0 -3.5l2.015625 0l0 -3.296875l4.40625 -2.5625l0 5.859375l3.0 0zm15.21875 16.59375l-5.46875 -22.90625l4.734375 0l3.453125 15.734375l4.1875 -15.734375l5.5 0l4.015625 16.0l3.515625 -16.0l4.65625 0l-5.5625 22.90625l-4.90625 0l-4.5625 -17.125l-4.546875 17.125l-5.015625 0zm25.90625 -8.53125q0 -2.1875 1.078125 -4.234375q1.078125 -2.046875 3.046875 -3.125q1.984375 -1.078125 4.421875 -1.078125q3.765625 0 6.171875 2.453125q2.40625 2.4375 2.40625 6.171875q0 3.765625 -2.4375 6.25q-2.421875 2.46875 -6.109375 2.46875q-2.28125 0 -4.359375 -1.03125q-2.0625 -1.03125 -3.140625 -3.015625q-1.078125 -2.0 -1.078125 -4.859375zm4.5 0.234375q0 2.46875 1.171875 3.78125q1.171875 1.3125 2.890625 1.3125q1.71875 0 2.875 -1.3125q1.171875 -1.3125 1.171875 -3.8125q0 -2.4375 -1.171875 -3.75q-1.15625 -1.3125 -2.875 -1.3125q-1.71875 0 -2.890625 1.3125q-1.171875 1.3125 -1.171875 3.78125zm20.265625 8.296875l-4.390625 0l0 -16.59375l4.078125 0l0 2.359375q1.046875 -1.671875 1.875 -2.203125q0.84375 -0.53125 1.90625 -0.53125q1.5 0 2.890625 0.828125l-1.359375 3.828125q-1.109375 -0.71875 -2.0625 -0.71875q-0.921875 0 -1.5625 0.515625q-0.640625 0.5 -1.015625 1.828125q-0.359375 1.328125 -0.359375 5.5625l0 5.125zm8.09375 0l0 -22.90625l4.390625 0l0 12.15625l5.140625 -5.84375l5.40625 0l-5.671875 6.0625l6.078125 10.53125l-4.734375 0l-4.171875 -7.453125l-2.046875 2.140625l0 5.3125l-4.390625 0zm16.40625 -4.734375l4.40625 -0.671875q0.28125 1.28125 1.140625 1.953125q0.859375 0.65625 2.40625 0.65625q1.703125 0 2.5625 -0.625q0.578125 -0.4375 0.578125 -1.171875q0 -0.5 -0.3125 -0.828125q-0.328125 -0.3125 -1.46875 -0.578125q-5.3125 -1.171875 -6.734375 -2.140625q-1.96875 -1.34375 -1.96875 -3.734375q0 -2.15625 1.703125 -3.625q1.703125 -1.46875 5.28125 -1.46875q3.40625 0 5.0625 1.109375q1.65625 1.109375 2.28125 3.28125l-4.140625 0.765625q-0.265625 -0.96875 -1.015625 -1.484375q-0.734375 -0.515625 -2.109375 -0.515625q-1.734375 0 -2.484375 0.484375q-0.5 0.34375 -0.5 0.890625q0 0.46875 0.4375 0.796875q0.59375 0.4375 4.09375 1.234375q3.515625 0.796875 4.90625 1.953125q1.375 1.171875 1.375 3.265625q0 2.28125 -1.90625 3.921875q-1.90625 1.640625 -5.640625 1.640625q-3.390625 0 -5.375 -1.375q-1.96875 -1.375 -2.578125 -3.734375z" fill-rule="nonzero"/></g></svg>