Up – snark_params » Snark_params » Make_inner_curve_aux » 1-Impl » Boolean » Unsafe

Module `Boolean.Unsafe`

val of_cvar : Field.Var.t -> var