泛型 Generics

Dafny同其他语言一样都有泛型，任何类、方法、函数都可以有类型参数，在<>中申明该数据类型T

class MyMultiset<T> {
 /*...*/
}		//类泛型

datatype Tree<T> = Leaf | Node(Tree<T>, T, Tree<T>) //自定义数据泛型
method Find<T>(key: T, collection: Tree<T>) { //方法泛型
 /*...*/
}

function IfThenElse<T>(b: bool, x: T, y: T): T {	//函数泛型
 /*...*/
}