Anemoi (mavkit-libs.Plompiler.Gadget.JubjubEdwards.L.Anemoi)

val anemoi_round : 
  kx:Csir.Scalar.t ->
  ky:Csir.Scalar.t ->
  (scalar repr * scalar repr) ->
  (scalar * scalar) repr t

val anemoi_double_round : 
  kx1:Csir.Scalar.t ->
  ky1:Csir.Scalar.t ->
  kx2:Csir.Scalar.t ->
  ky2:Csir.Scalar.t ->
  (scalar repr * scalar repr) ->
  (scalar * scalar) repr t

val anemoi_custom : 
  kx1:Csir.Scalar.t ->
  ky1:Csir.Scalar.t ->
  kx2:Csir.Scalar.t ->
  ky2:Csir.Scalar.t ->
  (scalar repr * scalar repr) ->
  (scalar * scalar) repr t