Generic method for verifying new objects

Intended to be called internally by package or object creator

verify(m, ...)

Arguments

m

object

...

other arguments to be passed to verify

Value

throws error if verify test fails