package phantom-algebra

You can search for identifiers within the package.

in-package search v0.2.0

package phantom-algebra

phantom-algebra
- CHANGES
- LICENSE
- README
- Library phantom-algebra
  - Phantom_algebra
    
    Core
    
    Rank
    
    Flat_array
    
    Interface
    
    Core
    
    Index
    
    Indexing
    
    Basic
    
    Rank
    
    Dim
    
    Matching
    
    Cloning
    
    S
    
    Rank
    
    Math
    
    Type_functions
- Sources
  - phantom-algebra
    
    core.ml
    
    flat_array.ml
    
    interface.ml
    
    math.ml
    
    phantom_algebra.ml-gen
    
    type_functions.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Core.Rank`Source

Rank-related types

Sourceval scalar : _ Type_functions.z rank

Sourceval vector : _ Type_functions.one rank

Sourceval matrix : _ Type_functions.two rank

Sourceval rank_to_int : _ rank -> int