ete_lyapunov"><a href="#val-discrete_lyapunov" class="anchor"></a><code><span><span class="keyword">val</span> discrete_lyapunov : 
  <span><span class="optlabel">?solver</span>:<span>[ `bilinear <span>| `default</span> <span>| `direct</span> ]</span> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../index.html#type-arr">arr</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../index.html#type-arr">arr</a> <span class="arrow">&#45;&gt;</span></span>
  <a href="../index.html#type-