tur/arrow_laws
stdlib/arrow_laws.tur
defn
verify-arrow-laws
(verify-arrow-laws :bool)
run all Arrow law tests and return overall pass/fail.
Example
true if every individual law test passes, false if any fail. (verify-arrow-laws) ; => true