Lava.Property
data Gen a
generate
class ChoiceWithSig a
class Fresh a
class CoFresh a
double
triple
list
listOf
results
sequential
forAll
data Property
class Checkable a
class ShowModel a
type Model
properties