ops

Type Members

1. type ![P1] = Op1Macro["!", P1]

   

2. type !=[P1, P2] = Op2Macro["!=", P1, P2]

   

3. type %[P1, P2] = Op2Macro["%", P1, P2]

   

4. type &&[P1, P2] = Op2Macro["&&", P1, P2]

   

5. type *[P1, P2] = Op2Macro["*", P1, P2]

   

6. type +[P1, P2] = Op2Macro["+", P1, P2]

   

7. type -[P1, P2] = Op2Macro["-", P1, P2]

   

8. type /[P1, P2] = Op2Macro["/", P1, P2]

   

9. type <[P1, P2] = Op2Macro["<", P1, P2]

   

10. type <=[P1, P2] = Op2Macro["<=", P1, P2]

    

11. type ==[P1, P2] = Op2Macro["==", P1, P2]

    

12. type >[P1, P2] = Op2Macro[">", P1, P2]

    

13. type >=[P1, P2] = Op2Macro[">=", P1, P2]

    

14. type Abs[P1] = Op1Macro["Abs", P1]

    

15. type Max[P1, P2] = Op2Macro["Max", P1, P2]

    

16. type Min[P1, P2] = Op2Macro["Min", P1, P2]

    

17. type Negate[P1] = Op1Macro["Negate", P1]

    

18. type Require[P1] = Op1Macro["Require", P1]

    

19. type Reverse[P1] = Op1Macro["Reverse", P1]

    

20. type Substring[P1, P2] = Op2Macro["Substring", P1, P2]

    

21. type ToDouble[P1] = Op1Macro["ToDouble", P1]

    

22. type ToInt[P1] = Op1Macro["ToInt", P1]

    

23. type ToLong[P1] = Op1Macro["ToLong", P1]

    

24. type ToNat[P1] = Op1Macro["ToNat", P1]

    

25. type ||[P1, P2] = Op2Macro["||", P1, P2]