definition module Mult

from exist import :: Expr

:: ExprMult = (*.) infixl 7 Expr Expr

instance eval ExprMult
instance print ExprMult