Module Float.Infix

module Additive : sig ... end
module Multiplicative : sig ... end
include sig ... end
val (=|=) : Eq.t -> Eq.t -> bool
include sig ... end
val (<||) : Ord.t -> Ord.t -> bool
val (||>) : Ord.t -> Ord.t -> bool
val (<|=) : Ord.t -> Ord.t -> bool
val (>|=) : Ord.t -> Ord.t -> bool
include sig ... end
val (|+|) : Euclidean_Ring.t -> Euclidean_Ring.t -> Euclidean_Ring.t
val (|*|) : Euclidean_Ring.t -> Euclidean_Ring.t -> Euclidean_Ring.t
val (|-|) : Euclidean_Ring.t -> Euclidean_Ring.t -> Euclidean_Ring.t
val (|/|) : Euclidean_Ring.t -> Euclidean_Ring.t -> Euclidean_Ring.t
val (|%|) : Euclidean_Ring.t -> Euclidean_Ring.t -> Euclidean_Ring.t