Module Local.Infix

Exposes local_ versions of the infix operators. Comments of Infix apply here as well.

val (+) : float @ local -> (float @ local -> float @ local) @ local
val (-) : float @ local -> (float @ local -> float @ local) @ local
val (*) : float @ local -> (float @ local -> float @ local) @ local
val (/) : float @ local -> (float @ local -> float @ local) @ local
val (=) : float @ local -> (float @ local -> bool) @ local
val (<>) : float @ local -> (float @ local -> bool) @ local