Up
–
bowe_gabizon_hash
»
Bowe_gabizon_hash
»
Make
»
1-Inputs
» G2
Module
1-Inputs.G2
type
t
val
to_affine_exn :
t
->
Fqe.t
*
Fqe.t