Up
–
snark_bits
»
Snark_bits
»
Bits
»
Snarkable
»
Small
»
1-Impl
»
Boolean
» Unsafe
Module
Boolean.Unsafe
val
of_cvar :
Field.Var.t
->
var