include BsBastet.Float.Infix;
module Additive = Float-BsBastet.Infix.Additive;module Multiplicative = Float-BsBastet.Infix.Multiplicative;let (=|=): Float-BsBastet.Eq.t => Float-BsBastet.Eq.t => bool;let (<||): Float-BsBastet.Ord.t => Float-BsBastet.Ord.t => bool;let (||>): Float-BsBastet.Ord.t => Float-BsBastet.Ord.t => bool;let (<|=): Float-BsBastet.Ord.t => Float-BsBastet.Ord.t => bool;let (>|=): Float-BsBastet.Ord.t => Float-BsBastet.Ord.t => bool;let (|+|): Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t;let (|*|): Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t;let (|-|): Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t;let (|/|): Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t;let (|%|): Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t => Float-BsBastet.Euclidean_Ring.t;