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 7、Windows Vista SP2、Windows XP SP3、Windows XP x64 SP2、Windows Server 2008 R2、Windows Server 2008 SP2、Windows Server 2003 SP2
版本信息
F# 运行时
受以下版本支持：2.0、4.0
Silverlight
受以下版本支持：3