- — Subtraction

Usage

(x: a) - (y: a) → a

Type constraints: Num<a>

Operator: precedence 6; associativity: left.

Description

Subtracts y from x.

Examples

5 - 2

See also

+, *