/

operator (x:Integer8 / y:Integer8) -> Integer8

operator (x:Integer16 / y:Integer16) -> Integer16

operator (x:Integer32 / y:Integer32) -> Integer32

operator (x:Integer64 / y:Integer64) -> Integer64

operator (x:Real32 / y:Real32) -> Real32

operator (x:Real64 / y:Real64) -> Real64

operator (left:Expression<Real> / right:Expression<Real>) -> Divide<Real, Real, Real>

operator (left:Real / right:Expression<Real>) -> Divide<Real, Real, Real>

operator (left:Expression<Real> / right:Real) -> Divide<Real, Real, Real>

operator (x:Real[_] / y:Real) -> Real[_]

operator (X:Real[_,_] / y:Real) -> Real[_,_]

operator (x:Integer[_] / y:Integer) -> Integer[_]

operator (X:Integer[_,_] / y:Integer) -> Integer[_,_]