Raw File
code { SIZE } ;
input { Stack_elt (set int) { 1 ; 2 ; 3 } } ;
output { Stack_elt nat 3 }
back to top