package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

prbnmcn-basic-structures
- Basic_structures
  - Basic_impl
    
    Bool_map
    
    Float_map
    
    Free_module
    
    Float_valued
    
    Bool
    
    Basis
    
    R
    
    Float
    
    Basis
    
    R
    
    Int
    
    Basis
    
    R
    
    Make_with_map
    
    Basis
    
    Map
    
    R
    
    X
    
    String
    
    Basis
    
    R
    
    Free_module_with_map
    
    Basis
    
    Map
    
    R
    
    Make
    
    Basis
    
    M
    
    R
    
    Make_with_map
    
    Basis
    
    Map
    
    R
    
    X
    
    Rational_valued
    
    Bool
    
    Basis
    
    R
    
    Float
    
    Basis
    
    R
    
    Int
    
    Basis
    
    R
    
    Make_with_map
    
    Basis
    
    Map
    
    R
    
    X
    
    String
    
    Basis
    
    R
    
    Int_map
    
    Int_set
    
    Integer
    
    Integer_mod2
    
    Lang
    
    Bool
    
    Codegen
    
    Infix
    
    Complex
    
    Empty
    
    Exn
    
    Float
    
    Float_storage
    
    Int
    
    Lambda
    
    Loop
    
    Make_array
    
    X
    
    Make_const
    
    X
    
    Make_enum
    
    X
    
    Make_storage
    
    X
    
    Product
    
    Rational
    
    Sequencing
    
    String
    
    Monad
    
    Codegen_cps
    
    Infix
    
    M
    
    Repr
    
    Codegen_identity
    
    Infix
    
    M
    
    Repr
    
    Cps
    
    Infix
    
    Identity
    
    Infix
    
    Reals
    
    Float
    
    Rational
    
    String_map
  - Basic_intf
    
    Abelian_group
    
    Abelian_group_std
    
    Algebra
    
    R
    
    Codegen_monad
    
    Infix
    
    Field
    
    Field_std
    
    Finitely_generated_free_module
    
    R
    
    Free_module
    
    R
    
    Free_module_std
    
    Basis
    
    R
    
    Infix_order
    
    Lang
    
    Array
    
    Bool
    
    Const
    
    Empty
    
    Enum
    
    Exn
    
    Field
    
    Field_std
    
    Infix_order
    
    Lambda
    
    Loop
    
    Product
    
    Ring
    
    Ring_std
    
    Sequencing
    
    Shape
    
    Morphism
    
    Storage
    
    Std
    
    Storage
    
    Metric
    
    Module
    
    R
    
    Module_std
    
    R
    
    Monad
    
    Infix
    
    Monoid
    
    Monoid_std
    
    Ordered
    
    Partial_order
    
    Pp
    
    Reals
    
    Ring
    
    Ring_std
    
    Std
  - Std
    
    Bool
    
    Complex
    
    Float
    
    Int
    
    Q
    
    String
    
    Z

Legend:
Library
Module
Module type
Parameter
Class
Class type

Empty abstraction.

type 'a m

'a m is the type of programs computing a value of type 'a