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

Module `Boolean.Unsafe`

val of_cvar : Field.t -> var