Musca domestica
Documents pareils
The Why3 platform - GForge
List, declares a new algebraic type for polymorphic lists, list 'a. As in ML,
'a stands for a type variable. The type list 'a has two constructors, Nil and Cons. Both
constructors can be used as us...