package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

prbnmcn-basic-structures
- Library prbnmcn-basic-structures
  - Basic_structures
    
    Basic_intf
    
    Ordered
    
    Pp
    
    Std
    
    Abelian_group
    
    Abelian_group_std
    
    Monoid
    
    Monoid_std
    
    Ring
    
    Ring_std
    
    Field
    
    Field_std
    
    Module
    
    R
    
    Module_std
    
    R
    
    Algebra
    
    R
    
    Free_module
    
    R
    
    Free_module_std
    
    R
    
    Basis
    
    Finitely_generated_free_module
    
    R
    
    Partial_order
    
    Monad
    
    Infix
    
    Codegen_monad
    
    Infix
    
    Infix_order
    
    Lang
    
    Std
    
    Empty
    
    Sequencing
    
    Loop
    
    Const
    
    Lambda
    
    Product
    
    Storage
    
    Bool
    
    Enum
    
    Array
    
    Ring
    
    Ring_std
    
    Field
    
    Field_std
    
    Exn
    
    Infix_order
    
    Shape
    
    Storage
    
    Morphism
    
    Metric
    
    Reals
    
    Basic_impl
    
    Integer
    
    Integer_mod2
    
    Free_module
    
    Make
    
    R
    
    Basis
    
    Free_module_with_map
    
    Map
    
    R
    
    Basis
    
    Make_with_map
    
    Map
    
    R
    
    Basis
    
    Rational_valued
    
    Int
    
    R
    
    Basis
    
    String
    
    R
    
    Basis
    
    Float
    
    R
    
    Basis
    
    Bool
    
    R
    
    Basis
    
    Make_with_map
    
    Map
    
    R
    
    Basis
    
    Float_valued
    
    Int
    
    R
    
    Basis
    
    String
    
    R
    
    Basis
    
    Float
    
    R
    
    Basis
    
    Bool
    
    R
    
    Basis
    
    Make_with_map
    
    Map
    
    R
    
    Basis
    
    Reals
    
    Float
    
    Rational
    
    Lang
    
    Empty
    
    Sequencing
    
    Lambda
    
    Product
    
    Bool
    
    Int
    
    Float
    
    Array
    
    ArrayLabels
    
    Complex
    
    Rational
    
    String
    
    Exn
    
    Loop
    
    Make_enum
    
    Make_storage
    
    Make_array
    
    Float_storage
    
    Make_const
    
    Codegen
    
    Infix
    
    Int_map
    
    Int_set
    
    String_map
    
    Float_map
    
    Bool_map
    
    Monad
    
    Identity
    
    Infix
    
    Cps
    
    Infix
    
    Codegen_cps
    
    Infix
    
    Codegen_identity
    
    Infix
    
    Std
    
    Bool
    
    Int
    
    Float
    
    Array
    
    ArrayLabels
    
    Complex
    
    String
    
    Z
    
    Compare
    
    Q
- Sources
  - prbnmcn-basic-structures
    
    basic_impl.ml
    
    basic_intf.ml
    
    basic_structures.ml
    
    basic_structures__.ml
    
    bool_map.ml
    
    float_map.ml
    
    free_module.ml
    
    impl_monad.ml
    
    int_map.ml
    
    int_set.ml
    
    integer.ml
    
    integer_mod2.ml
    
    intf_algebra.ml
    
    intf_infix.ml
    
    intf_lang.ml
    
    intf_monad.ml
    
    intf_std.ml
    
    lang.ml
    
    reals.ml
    
    shadowed_infix.ml
    
    std.ml
    
    string_map.ml

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

Module `Basic_structures.Std`Source

Extension of basic modules making them compatible with the Std module type

Sourcemodule Bool : sig ... end

Sourcemodule Int : sig ... end

Sourcemodule Float : sig ... end

Sourcemodule Complex : sig ... end

Sourcemodule String : sig ... end

Sourcemodule Z : sig ... end

Sourcemodule Q : sig ... end

package prbnmcn-basic-structures

Module Basic_structures.StdSource

Module `Basic_structures.Std`Source