Content - 71e335473319485d47c37d9d50863c0946323d2d

Permalink

code { MEM } ;
input { Stack_elt string "foo" ; Stack_elt (map string nat) { Elt "bar" 4 ; Elt "foo" 11 } } ;
output { Stack_elt bool True }