1 2 3 4 5 6
Parse successful. sign: (set0 -> set1) body: (\ Sum {name: [0]}) sign: Sum {label: set1, label2: set0} body: (@label set0) Checkmate, dram!