-instance (Expr a, Expr b)
- => Expr (CommonBinaryOp a b)
-instance (CommonExpr a, CommonExpr b)
- => CommonExpr (CommonBinaryOp a b)
+
+instance (Expr a, Expr b) =>
+ Expr (CommonBinaryOp a b)
+
+instance (CommonExpr a, CommonExpr b) =>
+ CommonExpr (CommonBinaryOp a b)
+
+instance (VariableSet (MentionedVarsOf a),
+ VariableSet (MentionedVarsOf b),
+ VariableSet (HAppend (MentionedVarsOf a) (MentionedVarsOf b))) =>
+ MentionedVars (CommonBinaryOp a b) where
+ type MentionedVarsOf (CommonBinaryOp a b)
+ = HAppend (MentionedVarsOf a) (MentionedVarsOf b)
+