Module H.V

Parameters

module L : sig ... end

Signature

val digest : ?input_length:int -> L.scalar list L.repr -> L.scalar L.repr L.t