Inputs.Rescue
include Common
module Field : sig ... end
val alpha : int
val to_the_alpha : Field.t -> Field.t
module Operations : Operations with module Field := Field
val rounds : int
val alphath_root : Field.t -> Field.t