basic) pnat can_lift instances (#5977)

Commit

4 years ago

feat(data/pnat/basic) pnat can_lift instances (#5977) Add can_lift instances for pnat from nat and int

Author

alexjbest

Parents