Up
–
vrf_lib
»
Vrf_lib
»
Standalone
»
Make
»
2-Scalar
»
Checked
» Assert
Module
Checked.Assert
val
equal :
var
->
var
->
unit
Impl.Checked.t