Module type Inputs.Common

module Field : sig ... end
val alpha : int
val to_the_alpha : Field.t -> Field.t
module Operations : Operations with module Field := Field