linalg.ml1 2 3 4 5 6 7 8 9 10 11(** [linalg]: metaprogramming-friendly linear algebra *) module Intf = Intf module Vec = Vec module Mat = Mat module Tensor = Tensor type ('s, 'i, 'e) vec = ('s, 'i, 'e) Intf.vec = Vec of 's * ('i -> 'e) type ('s, 'i, 'e, 'w) ovec = ('s, 'i, 'e, 'w) Intf.ovec = | OVec of 's * ('i -> 'e -> 'w)