kMutagene opened this issue 8 months ago · 0 comments
We should provide a set of predefined predicates and API to create custom ones that go beyond being 'A -> bool functions, introducing a type that can be further used to improve error messages.
'A -> bool