Module Local.Infix

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

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