code><span><span class="keyword">include</span> <a href="../Owl_base_linalg_intf/module-type-Real/index.html">Owl_base_linalg_intf.Real</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../Owl_base_linalg_intf/module-type-Real/index.html#type-elt">elt</a> := <a href="#type-elt">elt</a></span> <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../Owl_base_linalg_intf/module-type-Real/index.html#type-mat">mat</a> := <a href="#type-mat">mat</a