NewTypedAndExpr returns a new AndExpr that is verified to be well-typed.
(left, right TypedExpr)
| 189 | |
| 190 | // NewTypedAndExpr returns a new AndExpr that is verified to be well-typed. |
| 191 | func NewTypedAndExpr(left, right TypedExpr) *AndExpr { |
| 192 | node := &AndExpr{Left: left, Right: right} |
| 193 | node.typ = types.Bool |
| 194 | return node |
| 195 | } |
| 196 | |
| 197 | // TypedLeft returns the AndExpr's left expression as a TypedExpr. |
| 198 | func (node *AndExpr) TypedLeft() TypedExpr { |