Up
–
snarky_curves
»
Snarky_curves
»
Make_weierstrass_checked
» 4-Params
Parameter
Make_weierstrass_checked.4-Params
val
a :
F.Unchecked.t
val
b :
F.Unchecked.t