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

Module `Checked.Assert`

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