Up
–
sponge
»
Sponge
»
Make_debug_sponge
»
P
»
Circuit
»
Bitstring_checked
» Assert
Module
Bitstring_checked.Assert
val
equal :
t
->
t
->
unit