package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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