Make.1-Inputs
module Field : sig ... end
module Fqe : sig ... end
module G1 : sig ... end
module G2 : sig ... end
val hash : Field.t array -> Field.t
val group_map : Field.t -> Field.t * Field.t