ppLocalDecl :: LocalDecl -> Doc
ppLocalDecl (LocalParamDecl x)       = ppParamDecl x
ppLocalDecl :: LocalDecl -> Doc
ppLocalDecl (LocalParamDecl x)       = ppParamDecl x
ppLocalDecl (LocalParamDecl x)       = ppParamDecl x