Make.4-S
type t
val create : ?init:Field.t State.t -> Field.t Params.t -> t
val absorb : t -> Input.t -> unit
val squeeze : t -> Field.t
val copy : t -> t
val state : t -> Field.t State.t