Anemoi128 (mavkit-libs.Plompiler.Gadget.Anemoi128)

module P : sig ... end

val compute_one_round : 
  Csir.Scalar.t ->
  Csir.Scalar.t ->
  Csir.Scalar.t ->
  Csir.Scalar.t ->
  Csir.Scalar.t
  * Csir.Scalar.t
  * Csir.Scalar.t
  * Csir.Scalar.t
  * Csir.Scalar.t
  * Csir.Scalar.t

module V : sig ... end