-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy path__init__.py
More file actions
76 lines (70 loc) · 1.67 KB
/
__init__.py
File metadata and controls
76 lines (70 loc) · 1.67 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
from dataclasses import dataclass
import typing
# Exported names that are available for star imports (mostly in alphabetic order)
from typing import Any, Callable, Generator, Iterable, Iterator, Literal, Mapping, Optional, \
Protocol, Sequence, Union
from . import writeYourProgram as w
check = w.check
checkFail = w.checkFail
floatNegative = w.floatNegative
floatNonNegative = w.floatNonNegative
floatNonPositive = w.floatNonPositive
floatPositive = w.floatPositive
impossible = w.impossible
intNegative = w.intNegative
intNonNegative = w.intNonNegative
intNonPositive = w.intNonPositive
intPositive = w.intPositive
math = w.math
nat = w.nat
@typing.dataclass_transform()
def record(cls=None, mutable=False, globals={}, locals={}):
return w.record(cls, mutable, globals, locals)
T = w.T
todo = w.todo
U = w.U
V = w.V
__all__ = [
'Any',
'Callable',
'Generator',
'Iterable',
'Iterator',
'Literal',
'Mapping',
'Optional',
'Sequence',
'Protocol',
'Union',
'check',
'checkFail',
'dataclass',
'floatNegative',
'floatNonNegative',
'floatNonPositive',
'floatPositive',
'impossible',
'intNegative',
'intNonNegative',
'intNonPositive',
'intPositive',
'math',
'nat',
'record',
'T',
'todo',
'U',
'V'
]
# Exported names not available for star imports (in alphabetic order)
Lock = w.Lock
LockFactory = w.LockFactory
deepEq = w.deepEq
initModule = w.initModule
printTestResults = w.printTestResults
resetTestCount = w.resetTestCount
runUnittests = w.runUnittests
wrapTypecheck = w.wrapTypecheck
WyppTypeError = w.WyppTypeError
WyppAttributeError = w.WyppAttributeError
WyppError = w.WyppError