Polars.Commonmodule type Compare = sig ... endmodule type Numeric = sig ... endmodule type Logic = sig ... endmodule Make_numeric (T : sig ... end) : Numeric with type t := T.tmodule Make_logic (T : sig ... end) : Logic with type t := T.tmodule For_testing : sig ... end