4 lines
154 B
Python
4 lines
154 B
Python
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: ...
|