module Make
(Repr : Basic_structures.Basic_intf.Lang.Empty)
(Monad :
Basic_structures.Basic_intf.Codegen_monad with type 'a m = 'a Repr.m)
(B : Basic_structures.Basic_intf.Lang.Bool with type 'a m = 'a Repr.m)
(R : Basic_structures.Basic_intf.Lang.Ring with type 'a m = 'a Repr.m)
(R_ord :
Basic_structures.Basic_intf.Lang.Infix_order
with type 'a m = 'a Repr.m
and type t = R.t)
(Loop :
Basic_structures.Basic_intf.Lang.Loop
with type 'a m = 'a Repr.m
and type index = R.t)
(P : Basic_structures.Basic_intf.Lang.Product with type 'a m = 'a Repr.m)
(E : Basic_structures.Basic_intf.Lang.Exn with type 'a m = 'a Repr.m)
(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.tmodule BL = Basic_structures.Basic_impl.LangInstantiate some typical schemes
module Int : sig ... end