package interval
-
interval
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package interval
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Module undoing the redeclaration of usual infix operators +, +., etc. in case it is needed locally, while this module is open.
Example: I.(x + sin(of_int U.(n + 1))).
Restore standard integer and floating point operators.