title: What does the Equals type in TS-toolbelt mean?
body: <pre><code>type Equals&lt;A1 extends any, A2 extends any&gt; =
      (&lt;A&gt;() =&gt; A extends A2 ? 1 : 0) extends (&lt;A&gt;() =&gt; A extends A1 ? 1 : 0)
      ? 1
      : 0
  </code></pre>
  <p>What does this code mean</p>