Up
–
vrf_lib
»
Vrf_lib
»
Standalone
»
Make
»
1-Impl
»
Bitstring_checked
» Assert
Module
Bitstring_checked.Assert
val
equal :
t
->
t
->
unit
Checked.t