F*: macros: make verification_status
and options
appear in impl not interfaces
#335
Job | Run time |
---|---|
9m 2s | |
9m 2s |
verification_status
and options
appear in impl not interfaces
#335
Job | Run time |
---|---|
9m 2s | |
9m 2s |