Up – snark_params » Snark_params » Tick » Boolean » Unsafe

Module `Boolean.Unsafe`

val of_cvar : Tick0.Field.Var.t -> var