(st, spaces)
| 1133 | } |
| 1134 | |
| 1135 | def indent(st, spaces): |
| 1136 | indentation = ' '*spaces |
| 1137 | indented = indentation + st.replace('\n', '\n'+indentation) |
| 1138 | # trim off any trailing spaces |
| 1139 | indented = re.sub(r' +$', r'', indented) |
| 1140 | return indented |
| 1141 | |
| 1142 | # maps [nin, nout][type] to a suffix |
| 1143 | arity_lookup = { |