I have an alloy model
我有合金模型
sig BinaryTree{
root : Node,
nodes: set Node,
left, right : Node -> Node
}
sig BinaryTree
阅读背景：
三元算子中合金的自反传递闭包
来源：互联网
分享到：
