is or a built in operator or not?

[lenaRB]

model OperatorExample2 is {
    // Definition of disjunction of two Booleans.
    Operator [ Boolean ] Boolean b1 or Boolean b2 = not (not b1 and not b2);
    // Example of function call
    Boolean b1 is external;
    Boolean b2 is external;
    Boolean b is b1 or b2;
};

but or is also defined in the specification as a built in operator, so it does not parse correctly, plus operator names should be in '', so the correct syntax is 'or' for a user defined operator

[audrey-jardin]

or was initially only a user-defined operator. It has now been added as a built-in operator for convenience.

[lenaRB]

the syntax for user operators should be between '' as we decided last spring, so you can have this example but the operator should be named 'or' it is the same for other user defined operators and templates

[audrey-jardin]

I forgot this...will update the corresponding examples tomorrow.