clear

fun clear()(source)

Forgets everything, including which records have already been asserted on.