Up – snarky_curve » Snarky_curve » Make_checked » 1-Inputs » Impl » Internal_Basic » Boolean » Unsafe

Module `Boolean.Unsafe`

val of_cvar : Field.Var.t -> var