Up – snark_params » Snark_params » Make_inner_curve_scalar » Checked » Assert

Module `Checked.Assert`

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