(type)
| 380 | if(type == ":") return cont(typestring); |
| 381 | } |
| 382 | function typestring(type) { |
| 383 | if(type == "type") return cont(); |
| 384 | if(type == "variable") return cont(); |
| 385 | if(type == "{") return cont(pushlex("}"), commasep(typeprop, "}"), poplex); |
| 386 | } |
| 387 | function typeprop(type) { |
| 388 | if(type == "variable") return cont(typeuse); |
| 389 | } |