Up – snark_params » Snark_params » Tock » Inner_curve » Scalar » Checked » Assert

Module `Checked.Assert`

val equal : var -> var -> unit Tock0.Checked.t