'a:Type, l:'a List. Dec(mt(l))

1

1. 'a : Type 2. l : 'a List   Dec(mt(l))

2 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html