SemiringLaws

object SemiringLaws

Functions

Link copied to clipboard
fun <F> laws(SG: Semiring<F>, GEN: Arb<F>, eq: (F, F) -> Boolean = { a, b -> a == b }): List<Law>