ue" id="val-replace_index"><a href="#val-replace_index" class="anchor"></a><code><span class="keyword">val </span>replace_index : matrix:string list <span>&#45;&gt;</span> int list <span>&#45;&gt;</span> string list</code></dt><dt class="spec value" id="val-indexed_keys"><a href="#val-indexed_keys" class="anchor"></a><code><span class="keyword">val </span>indexed_keys : string <span>&#45;&gt;</span> int list</code></dt><dt class="spec value" id="val-verify_with"><a href="#val-verify_with" class="anchor"></a