package phantom-algebra

  1. Overview
  2. Docs

Rank-related types

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