1funcA input.elm /^funcA =$/;" f roles:def 2a1 input.elm /^ a1 = 1$/;" f function:funcA roles:def 3a2 input.elm /^ a2 x y = x + y$/;" f function:funcA roles:def 4funcB input.elm /^funcB b =$/;" f roles:def 5b1 input.elm /^ b1 =$/;" f function:funcB roles:def 6b2 input.elm /^ b2 x y =$/;" f function:funcB roles:def 7b3 input.elm /^ b3 x y =$/;" f function:funcB roles:def 8b4 input.elm /^ b4 v w =$/;" f function:funcB roles:def 9b5 input.elm /^ b5 i j = i + j$/;" f function:funcB roles:def 10funcC input.elm /^funcC =$/;" f roles:def 11c1 input.elm /^ c1 = 1$/;" f function:funcC roles:def 12c2 input.elm /^ c2 x y = x + y$/;" f function:funcC roles:def 13