/** * A property check framework built around {@linkplain io.vavr.test.Property} which integrates well with unit test frameworks like junit. */ package io.vavr.test;