Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package phantom-algebra
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Rank-related types
val scalar : _ Type_functions.z rankval vector : _ Type_functions.one rankval matrix : _ Type_functions.two rankval rank_to_int : _ rank -> int