Module Fadbad__.Types

module type Order = sig ... end

Module of comparison operators

module type OpS = sig ... end

Module of operators, it defines the usual arithmetic operations.

module type OrderedOpS = sig ... end

Extends OpS with comparison operators