Searched defs:TypedExpr (Results 1 – 1 of 1) sorted by relevance
54 class TypedExpr: class90 value: TypedExpr,98 def abs(x: TypedExpr) -> TypedExpr:102 def square(x: TypedExpr) -> TypedExpr:106 def add(x: TypedExpr, y: TypedExpr) -> TypedExpr:111 def sub(x: TypedExpr, y: TypedExpr) -> TypedExpr:116 def mul(x: TypedExpr, y: TypedExpr) -> TypedExpr:121 def neg(x: TypedExpr) -> TypedExpr:125 def floordiv(x: TypedExpr, y: TypedExpr) -> TypedExpr:133 def mod(x: TypedExpr, y: TypedExpr) -> Optional[TypedExpr]:[all …]