Crs.State
type t = {
digest : string;
i : int;
j : int;
}
val update : seed:string -> t -> bool * t
val init : seed:Stdlib.String.t -> t