/**
 * A type-polymorphic adder, to be used in the Ptolemy type system.
 * It assumes that there is a + operator defined for every combination of types below String.
 *
 * @author JWJ
 */

actor SimpleAdd [T1 < T3, T2 < T3, T3 < Number]
    ()
    T1 In1, T2 In2 ==> T3 Out :

    action [a], [b] ==> [a + b] end

end