val scalar : 'a Type_functions.z rank
val vector : 'a Type_functions.one rank
val matrix : 'a Type_functions.two rank
val rank_to_int : 'a rank ‑> int