pets
Predicate existential types.
Provides newtypes Pet and PetRef
for providing predicate accepted
values and references respectively.
License: MIT OR Apache-2.0
Predicate existential types.
Provides newtypes Pet and PetRef
for providing predicate accepted
values and references respectively.
License: MIT OR Apache-2.0