| "nmax" :: tl -> k T.OK ("nmax" :: outs) tl
| "nminus" :: tl -> k T.OK ("nminus" :: outs) tl
| "nplus" :: tl -> k T.OK ("nplus" :: outs) tl
| "nmax" :: tl -> k T.OK ("nmax" :: outs) tl
| "nminus" :: tl -> k T.OK ("nminus" :: outs) tl
| "nplus" :: tl -> k T.OK ("nplus" :: outs) tl
| "ntri" :: tl -> k T.OK ("ntri" :: outs) tl
| "niter" :: tl -> k T.OK ("niter" :: outs) tl
| "plt" :: tl -> k T.OK ("plt" :: outs) tl
| "ple" :: tl -> k T.OK ("ple" :: outs) tl
| "ntri" :: tl -> k T.OK ("ntri" :: outs) tl
| "niter" :: tl -> k T.OK ("niter" :: outs) tl
| "plt" :: tl -> k T.OK ("plt" :: outs) tl
| "ple" :: tl -> k T.OK ("ple" :: outs) tl