Define the types shared by various modules
val _zero : a b. ('a, 'b) Bigarray.kind ‑> 'aval _one : a b. ('a, 'b) Bigarray.kind ‑> 'aval _pos_inf : a b. ('a, 'b) Bigarray.kind ‑> 'aval _neg_inf : a b. ('a, 'b) Bigarray.kind ‑> 'amodule type NdarraySig : sig ... endmodule type MatrixSig : sig ... end