bug_18342.out

<{ SS (? I) }>
     : nat
<{ SS [[{{?}} I]] }>
     : nat
fun x : I => match x with
             | <{ DD [[{{?}} y]] }> => y
             | _ => 0
             end
     : I -> nat