Up
–
snark_params
»
Snark_params
»
Tock
»
Fq
»
Impl
»
Boolean
» Unsafe
Module
Boolean.Unsafe
val
of_cvar :
Field.Var.t
->
var