V.H
module L : sig ... end
val digest : ?input_length:int -> L.scalar list L.repr -> L.scalar L.repr L.t