我在看 user defined exceptions和 system defined derived exceptions 它是正确的,所有(或大多数情况下)的System.Exception派生类,无论是用户定义或系统定义为structurally equivalent到它们的基类System.Exception,尽管它们是non nominally equivalent? 谢谢。
我知道F#有MAP,但我想使用.NET Dictionary。该字典具有键字符串值作为F#值+的字典,即: type ExprC =
| StrC of string
| BoolC of bool
| IntC of int32
| DecC of decimal
| ArrayC of int * array<ExprC>
| Rel
我已经定义了以下合金模型 使用单个状态对象来指向两棵树的根State.a和State.b。 sig N {
children: set N
}
fact {
let p = ~children |
~p.p in iden
and no iden & ^p
}
one sig State {
a: one N,
b: one