Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val pairing :
?exponentiate:bool ->
(BN128Curve.G2.t BN128Curve.point * BN128Curve.G1.t BN128Curve.point) ->
BN128Curve.G12.t
val final_exponent : Z.t