Checked.( - )<^T1,^T2,^T3> 函数 (F#)
重载的减法运算符（检查是否溢出）。
命名空间/模块路径： Microsoft.FSharp.Core.Operators.Checked
程序集：FSharp.Core（在 FSharp.Core.dll 中）
// Signature:
( - ) : ^T1 -> ^T2 -> ^T3 (requires ^T1 with static member (-) and ^T2 with static member (-))
// Usage:
x - y
参数
x
类型：^T1第一个值。
y
类型：^T2第二个值。
返回值
第一个值减去第二个值。
平台
Windows 8，Windows 7，Windows server 2012中，Windows server 2008 R2
版本信息
F#核心库版本
支持:2.0，4.0，可移植