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

Module `Boolean.Unsafe`

val of_cvar : field_var -> var