Up
–
snarky_curves
»
Snarky_curves
»
Shifted_intf
» Assert
Module
Shifted_intf.Assert
val
equal :
t
->
t
->
unit
checked