package prbnmcn-linalg

  1. Overview
  2. Docs
type 'a0 k = 'a BL.Codegen.t
type 'a0 m = 'a BL.Empty.m
type pos = BL.Int.t
val mem : 'a t -> 'a m -> bool m
val pos_equal : 'a t -> 'a m -> 'a m -> bool m
val equal : 'a t -> 'a t -> bool m
module type Storage = sig ... end
type !'elt storage = (module Storage with type elt = 'elt)
val iter : ('a m -> unit m) -> 'a t -> unit m
val fold : 'acc storage -> ('a m -> 'acc m -> 'acc m) -> 'a t -> 'acc m -> 'acc m
module Path : sig ... end
val proj : 'a t -> 'a Path.t -> pos t
val rank_one : pos m -> pos t
val rank_two : pos m -> pos m -> (pos * pos) t
val scalar : pos t
val empty : pos t
val dim : 'a t -> 'a Path.t -> pos m
val numel : 'a t -> pos m
val tensor : 'a t -> 'b t -> ('a * 'b) t
val concat : 'a t -> 'a t -> 'a Path.t -> 'a t k
val fst : ('a * 'b) t -> 'a t
val snd : ('a * 'b) t -> 'b t
module Morphism : sig ... end