Content - 42b7e7c3f42483d3bde1b23d269a3126d9cb20a6

Permalink

code { CDR } ;
input { Stack_elt (pair string string) (Pair "first" "second") } ;
output { Stack_elt string "second" }