About com.io7m.jaffirm.core

Contract checking (Core)