(Tuple<Decl.Variable> decls)
| 791 | } |
| 792 | |
| 793 | public static WyilFile.Type project(Tuple<Decl.Variable> decls) { |
| 794 | switch(decls.size()) { |
| 795 | case 0: |
| 796 | return WyilFile.Type.Void; |
| 797 | case 1: |
| 798 | return decls.get(0).getType(); |
| 799 | default: |
| 800 | WyilFile.Type[] types = new WyilFile.Type[decls.size()]; |
| 801 | for(int i=0;i!=types.length;++i) { |
| 802 | types[i] = decls.get(i).getType(); |
| 803 | } |
| 804 | return new WyilFile.Type.Tuple(types); |
| 805 | } |
| 806 | } |
| 807 | |
| 808 | /** |
| 809 | * Get the body associated with this callable declaration which is either a |