Module Make_checked.Assert

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