include BsBastet.Int.Infix;
module Additive = Int-BsBastet.Infix.Additive;module Multiplicative = Int-BsBastet.Infix.Multiplicative;let (=|=): Int-BsBastet.Eq.t => Int-BsBastet.Eq.t => bool;let (<||): Int-BsBastet.Ord.t => Int-BsBastet.Ord.t => bool;let (||>): Int-BsBastet.Ord.t => Int-BsBastet.Ord.t => bool;let (<|=): Int-BsBastet.Ord.t => Int-BsBastet.Ord.t => bool;let (>|=): Int-BsBastet.Ord.t => Int-BsBastet.Ord.t => bool;let (|+|): Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t;let (|*|): Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t;let (|-|): Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t;let (|/|): Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t;let (|%|): Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t => Int-BsBastet.Euclidean_Ring.t;
include { ... };
let (|=|): Eq.t => Eq.t => bool;let (|!=|): Relude_Eq.eq(Eq.t);
include { ... };
let (|<|): Ord.t => Ord.t => bool;let (|<=|): Ord.t => Ord.t => bool;let (|>|): Ord.t => Ord.t => bool;let (|>=|): Ord.t => Ord.t => bool;