Intf.Hash
module Field : T
module State : T1
val state_size : int
val rate : int
val update : Field.t Params.t -> state:Field.t State.t -> Field.t array -> Field.t State.t
val digest : Field.t State.t -> Field.t
val initial_state : Field.t State.t
val hash : ?init:Field.t State.t -> Field.t Params.t -> Field.t array -> Field.t