Raw File
code { XOR } ;
input { Stack_elt nat 0 ; Stack_elt nat 0 } ;
output { Stack_elt nat 0 }
back to top