package phantom-algebra

  1. Overview
  2. Docs

Rank-related types

type +_ rank

Tensor rank: scalar, vector or matrix

val scalar : _ Type_functions.z rank
val vector : _ Type_functions.one rank
val matrix : _ Type_functions.two rank
val rank_to_int : _ rank -> int