incorporate spec predicates into type system
It appears that s/satisfies?
can be used programmatically to determine whether a given value conforms to a spec pattern designator.
It appears that s/satisfies?
can be used programmatically to determine whether a given value conforms to a spec pattern designator.