Intf.Permutation
module Field : sig ... end
val add_assign : state:Field.t array -> int -> Field.t -> unit
val copy : Field.t array -> Field.t array
val block_cipher : Field.t Params.t -> Field.t array -> Field.t array