fun splosna1 f s ope =
    case ope of
        "+" => (case s of
            elem(a, b) => f(a) + splosna f b ope
            | empty b => 0)