Module Float.O_dotSource

Similar to O, except that operators are suffixed with a dot, allowing one to have both int and float operators in scope simultaneously.

Sourceval (+.) : t -> t -> t
Sourceval (-.) : t -> t -> t
Sourceval (*.) : t -> t -> t
Sourceval (/.) : t -> t -> t
Sourceval (%.) : t -> t -> t
Sourceval (**.) : t -> t -> t
Sourceval (~-.) : t -> t