Module Checked.Assert

val equal : t -> t -> unit