{
    "name": "add",
    "synonyms": ["Add"],
    "result_type": "a",
    "no_log": true,
    "constraints": ["Num[a]"],
    "call": "Compiler.Num.+[x,y]",
    "args": [
        {
            "arg_name": "x",
            "arg_type": "a"
        },
        {
            "arg_name": "y",
            "arg_type": "a"
        }
    ],
    "title":"The addition operator"
}
