structural-induction 0.3

1 Reverse dep Accepted versions
tip-lib >=0.3 && <0.4