package prbnmcn-linalg

  1. Overview
  2. Docs
val underlying : ('a, 'b) t -> 'a m -> 'b m
val domain : ('a, 'b) t -> 'a t
val range : ('a, 'b) t -> 'b t
val identity : 'a t -> ('a, 'a) t
val compose : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t
val tensor : ('a, 'b) t -> ('c, 'd) t -> ('a * 'c, 'b * 'd) t
val pullback_at_path : (pos, pos) t -> 'a Path.t -> 'a t -> ('a, 'a) t k
val pullback_pointwise : (pos, pos) t -> 'a t -> ('a, 'a) t k
val sub : ofs:pos m -> pos t -> pos t -> (pos, pos) t k