Cacher is the code snippet organizer for pro developers

# a couple of terse variants
sum = function(Num a >= 0, Num b >= 0) returns Num
    begin
        return(a + b)
    end

sum = function(Num a >= 0, Num b >= 0) returns Num
    return(a + b)

sum = function(Num a >= 0, Num b >= 0) return(a + b)

sum = function
    parameters
        Num a, pre: >= 0
        Num b, pre: >= 0
    returns
        Num, post: >= 0
    begin
        return(a + b)
    end

sum = function returns Num
    parameters
        Num a, pre: >= 0
        Num b, pre: >= 0
    begin
        return(a + b)
    end