Module `Linalg.Tensor`

module Make : functor (Repr : Basic_structures.Basic_intf.Lang.Empty) -> functor (Monad : Basic_structures.Basic_intf.Codegen_monad with type 'a m = 'a Repr.m) -> functor (B : Basic_structures.Basic_intf.Lang.Bool with type 'a m = 'a Repr.m) -> functor (R : Basic_structures.Basic_intf.Lang.Ring with type 'a m = 'a Repr.m) -> functor (R_ord : Basic_structures.Basic_intf.Lang.Infix_order with type 'a m = 'a Repr.m and type t = R.t) -> functor (Loop : Basic_structures.Basic_intf.Lang.Loop with type 'a m = 'a Repr.m and type index = R.t) -> functor (P : Basic_structures.Basic_intf.Lang.Product with type 'a m = 'a Repr.m) -> functor (E : Basic_structures.Basic_intf.Lang.Exn with type 'a m = 'a Repr.m) -> functor (M : Basic_structures.Basic_intf.Lang.Sequencing with type 'a m = 'a Repr.m) -> Intf.Tensor with type 'a k = 'a Monad.t and type 'a m = 'a Repr.m and type pos = R.t

module BL = Basic_structures.Basic_impl.Lang: Instantiate some typical schemes

module Int : sig ... end