Up
–
snarky_log
»
Snarky_log
»
Constraints
»
1-Snarky_backendless
»
Bitstring_checked
» Assert
Module
Bitstring_checked.Assert
val
equal :
t
->
t
->
unit
Checked.t