
<Context name="Default">
    <Profile name="Ptolemy"/>

    <UnaryOp name="#" function="$size"/>
    <UnaryOp name="-" function="$negate"/>
    <UnaryOp name="dom" function="$domain"/>
    <UnaryOp name="rng" function="$range"/>

    <BinaryOp name="+" precedence= "1" function="$add"/>
    <BinaryOp name="-" precedence= "1" function="$subtract"/>
    <BinaryOp name="*" precedence= "2" function="$multiply"/>
    <BinaryOp name="/" precedence= "2" function="$divide"/>
    <BinaryOp name="div" precedence= "2" function="$intdivide"/>
    <BinaryOp name="mod" precedence= "2" function="$modulo"/>
    <BinaryOp name="=" precedence= "0" function="$eq"/>
    <BinaryOp name="&lt;" precedence= "0" function="$lteq"/>
    <BinaryOp name="&lt;=" precedence= "0" function="$lt"/>
    <BinaryOp name="&gt;" precedence= "0" function="$gt"/>
    <BinaryOp name="&gt;=" precedence= "0" function="$gteq"/>

    <Function name="create-list" function="$createList"/>
    <Function name="create-map" function="$createMap"/>
    <Function name="create-set" function="$createSet"/>

    <Procedure name="iterate" procedure="$iterate"/>
    <Procedure name="while-procedure" procedure="$whileProcedure"/>
</Context>