Owl_types_operatorOperator definitions such as add, sub, mul, and div. This signature defines the functions need to be implemented.
module type BasicSig = sig ... endmodule type ExtendSig = sig ... endmodule type MatrixSig = sig ... endmodule type NdarraySig = sig ... endmodule type LinalgSig = sig ... end