Up – sponge » Sponge » Make_debug_sponge » P » Circuit » Boolean » Unsafe

Module `Boolean.Unsafe`

val of_cvar : field_var -> var