Open kMutagene opened 2 months ago
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
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.