package eqaf

You can search for identifiers within the package.

in-package search v0.2.0

Constant-time equal function on string

Install

sha256=754f9bafabd11d2e7c1ec0cfa1e045e221eee60239c537471db0892416524b81

sha512=2892d2dbe738f0e6833e3e6343978807a9a700388014681c879933f7a937ec8a3ee4a8e80ac4eaab80b502fd8ac7698270dbdefb9c05b79dd2463c86d11ff31b

type bigstring =
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

Sourceval equal : bigstring -> bigstring -> bool

Constant time equal function on bigstring.