ord">val</span> (&lt;:&gt;) : <a href="../../../../../../Bastet/Float/Multiplicative/Medial_Magma/index.html#type-t">Bastet.Float.Multiplicative.Medial_Magma.t</a> <span>&#45;&gt;</span> <a href="../../../../../../Bastet/Float/Multiplicative/Medial_Magma/index.html#type-t">Bastet.Float.Multiplicative.Medial_Magma.t</a> <span>&#45;&gt;</span> <a href="../../../../../../Bastet/Float/Multiplicative/Medial_Magma/index.html#type-t">Bastet.Float.Multiplicative.Medial_Magma.t</a></code></dt></dl></div></body></htm