contrafact (cargo): A trait for highly composable constraints ("facts") which can be used both to verify data and to generate arbitrary data within those constraints
Keywords: testing|composable|fixtures|constraints