Python contract wrappers (#1721)

This commit is contained in:
Michael Huang
2019-03-25 18:25:41 -05:00
committed by F. Eugene Aumson
parent e043735362
commit a256494ec8
41 changed files with 1914 additions and 0 deletions

View File

@@ -0,0 +1,9 @@
from typing import Callable
def fixture(scope: str) -> Callable:
...
class ExceptionInfo:
...
def raises(exception: Exception) -> ExceptionInfo: ...