1funcA input.elm /^funcA =$/;" f roles:def 2funcB input.elm /^funcB = (\\b1 b2 b3 -> 42)$/;" f roles:def 3funcC input.elm /^funcC =$/;" f roles:def 4funcD input.elm /^funcD =$/;" f roles:def 5funcE input.elm /^funcE e1 e2 =$/;" f roles:def 6funcF input.elm /^funcF = []$/;" f roles:def 7funcG input.elm /^funcG =$/;" f roles:def 8funcH input.elm /^funcH h =$/;" f roles:def 9funcI input.elm /^funcI i1 i2 =$/;" f roles:def 10funcJ1 input.elm /^funcJ1 =$/;" f roles:def 11funcJ2 input.elm /^funcJ2 =$/;" f roles:def 12funcJ3 input.elm /^funcJ3 =$/;" f roles:def 13funcJ4 input.elm /^funcJ4 =$/;" f roles:def 14