Module Checked.Assert

val equal : var -> var -> unit Snark_params.Tick.Checked.t