Tick_field_sponge.Fieldtype t = Sponge.Poseidon(Inputs).Field.t Sponge.tval create :
?init:Sponge.Poseidon(Inputs).Field.t Sponge.State.t ->
Sponge.Poseidon(Inputs).Field.t Sponge.Params.t ->
tval absorb : t -> Sponge.Poseidon(Inputs).Field.t -> unitval squeeze : t -> Sponge.Poseidon(Inputs).Field.tval state : t -> Sponge.Poseidon(Inputs).Field.t Sponge.State.tval make :
state:Sponge.Poseidon(Inputs).Field.t Sponge.State.t ->
params:Sponge.Poseidon(Inputs).Field.t Sponge.Params.t ->
sponge_state:Sponge.sponge_state ->
t