><code><span class="keyword">val </span>verify_with : matrix:string list <span>&#45;&gt;</span> digest:(string <span>&#45;&gt;</span> string) <span>&#45;&gt;</span> (int<span class="keyword"> * </span>string) list <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-pad"><a href="#val-pad" class="anchor"></a><code><span class="keyword">val </span>pad : basis:int <span>&#45;&gt;</span> string <span>&#45;&gt;</span> Cstruct.t</code></dt><dt class="spec value" id="val-unpad"><a href="#val-unpa