mythril/mypy-stubs/z3/z3core.pyi

mirror of https://github.com/ConsenSys/mythril
from .z3types import Ast, ContextObj

def Z3_mk_eq(ctx: ContextObj, a: Ast, b: Ast) -> Ast: ...
def Z3_mk_div(ctx: ContextObj, a: Ast, b: Ast) -> Ast: ...
Add z3 mypy stubs; Add types to mythril/laser/smt/*.py 6 years ago			`from .z3types import Ast, ContextObj`
Fix formatting 6 years ago
Add z3 mypy stubs; Add types to mythril/laser/smt/*.py 6 years ago			`def Z3_mk_eq(ctx: ContextObj, a: Ast, b: Ast) -> Ast: ...`
			`def Z3_mk_div(ctx: ContextObj, a: Ast, b: Ast) -> Ast: ...`