class="kind">val</span></span> <span class="symbol"><span class="name">cbnd</span><span class="result">: <a href="../HoTT$$Func.html" name="provingground.HoTT.Func" id="provingground.HoTT.Func" class="extype">Func</a>[<a href="../scalahott/QField$$PosWit.html" name="provingground.scalahott.QField.PosWit" id="provingground.scalahott.QField.PosWit" class="extype">PosWit</a>, <a href="../scalahott/QField$$PosWit.html" name="provingground.scalahott.QField.PosWit" id="provingground.scalahott.QField.PosWit" class