/
operator (x:Integer16 / y:Integer16) -> Integer16
operator (x:Integer32 / y:Integer32) -> Integer32
operator (x:Integer64 / y:Integer64) -> Integer64
operator (x:Integer8 / y:Integer8) -> Integer8
operator (x:Real32 / y:Real32) -> Real32
operator (x:Real64 / y:Real64) -> Real64
operator (y:Expression<Real> / z:Expression<Real>) -> Divide
Lazy divide.
operator (y:Real / z:Expression<Real>) -> Divide
Lazy divide.
operator (y:Expression<Real> / z:Real) -> Divide
Lazy divide.
operator (y:Expression<Real[_,_]> / z:Expression<Real>) -> Expression<Real[_,_]>
Lazy matrix divide.
operator (y:Real[_,_] / z:Expression<Real>) -> Expression<Real[_,_]>
Lazy matrix divide.
operator (y:Expression<Real[_,_]> / z:Real) -> Expression<Real[_,_]>
Lazy matrix divide.
operator (y:Expression<Real[_]> / z:Expression<Real>) -> Expression<Real[_]>
Lazy multivariate divide.
operator (y:Real[_] / z:Expression<Real>) -> Expression<Real[_]>
Lazy multivariate divide.
operator (y:Expression<Real[_]> / z:Real) -> Expression<Real[_]>
Lazy multivariate divide.
operator (x:Real[_] / y:Real) -> Real[_]
operator (X:Real[_,_] / y:Real) -> Real[_,_]
operator (x:Integer[_] / y:Integer) -> Integer[_]
operator (X:Integer[_,_] / y:Integer) -> Integer[_,_]