package alba

You can search for identifiers within the package.

in-package search v0.2.0

package alba

alba
- Library alba.albalib
  - Albalib
    
    Alba_console
    
    Make
    
    Ast
    
    Located
    
    Position
    
    Expression
    
    Build_context
    
    Product
    
    Typed
    
    Application
    
    Lambda
    
    Where
    
    Builder
    
    Print
    
    Parser_lang
    
    Problem
    
    Command
    
    ERROR
    
    SIG
    
    Error
    
    Error_printer
    
    Make
    
    Error
    
    Error_printer
    
    Printer
    
    Make
- Library alba.core
  - Alba_core
    
    Context
    
    Pretty
    
    Gamma
    
    Gamma_algo
    
    GAMMA
    
    Make
    
    Gamma_holes
    
    Name_map
    
    Operator
    
    Term
    
    Value
    
    Sort
    
    Lambda_info
    
    Pi_info
    
    Application_info
    
    Monadic
    
    Inductive
    
    Term_printer
    
    GAMMA
    
    Pretty
    
    String_print
    
    Typecheck
    
    Unifier
    
    HOLES
    
    Make
- Library alba.fmlib
  - Fmlib
    
    Module_types
    
    ANY
    
    SORTABLE
    
    FUNCTOR
    
    APPLICATIVE
    
    MONAD
    
    READABLE
    
    WRITABLE
    
    Common
    
    Void
    
    Unit
    
    Int
    
    Int_set
    
    Either
    
    Char
    
    String
    
    String_set
    
    String_map
    
    Interval
    
    Monadic
    
    String_reader
    
    Fill_reader
    
    Char_reader
    
    List
    
    Monadic_fold
    
    Option
    
    Finite_map
    
    S
    
    Make
    
    Segmented_array
    
    Monad
    
    SIG_MIN
    
    SIG_WITH_MAP
    
    RESULT
    
    Of_sig_min
    
    Of_sig_with_map
    
    Identity
    
    Result
    
    Array
    
    Vector
    
    Pool
    
    Character_parser
    
    Position
    
    Located
    
    CONTEXT
    
    Indent
    
    PARSER
    
    COMBINATORS
    
    Simple
    
    Context
    
    Error
    
    Normal
    
    Context
    
    Error
    
    Advanced
    
    Context
    
    Error
    
    Generic_parser
    
    ERROR
    
    COMBINATORS
    
    Make
    
    Error
    
    Pretty_printer
    
    PRINTER
    
    SIG
    
    Pretty
    
    Io
    
    STAT
    
    SIG
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
    
    Output
    
    Make_io
    
    SIG
    
    M
    
    Read
    
    Write
    
    Make
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
    
    String_printer
    
    Web_application
    
    DECODER
    
    ENCODER
    
    WEB_APPLICATION
    
    Attribute
    
    Dom
    
    Command
    
    Subscription
    
    BROWSER
    
    Decoder
    
    Encoder
    
    Make
    
    Make
    
    Attribute
    
    Dom
    
    Command
    
    Subscription
    
    Argument_parser
    
    S
    
    Make
- Library alba.fmlib_js
  - Fmlib_js
    
    Browser
    
    primitive_number
    
    event
    
    style
    
    eventTarget
    
    node
    
    document
    
    history
    
    window
    
    xmlHttpRequest
    
    Decoder
    
    Result
    
    Encoder
    
    Make
    
    Vdom
    
    Command
    
    Subscription
    
    Tree
    
    Attributes
- Library alba.fmlib_native
  - Fmlib_native
    
    Native_io
    
    IO
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
- Library alba.fmlib_node
  - Fmlib_node
    
    File_system
    
    Io_buffer
    
    Read
    
    Write
    
    Node_io
    
    IO
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
    
    Path
    
    Process
    
    Readline
- Sources
  - alba.albalib
    
    alba_console.ml
    
    albalib.ml
    
    ast.ml
    
    build_context.ml
    
    builder.ml
    
    parser_lang.ml
    
    printer.ml
  - alba.core
    
    alba_core.ml
    
    context.ml
    
    gamma.ml
    
    gamma_algo.ml
    
    gamma_holes.ml
    
    name_map.ml
    
    operator.ml
    
    term.ml
    
    term_printer.ml
    
    typecheck.ml
    
    unifier.ml
  - alba.fmlib
    
    argument_parser.ml
    
    array.ml
    
    character_parser.ml
    
    common.ml
    
    finite_map.ml
    
    fmlib__.ml
    
    generic_parser.ml
    
    io.ml
    
    list.ml
    
    make_io.ml
    
    module_types.ml
    
    monad.ml
    
    option.ml
    
    path.ml
    
    pool.ml
    
    pretty_printer.ml
    
    readable_printer.ml
    
    segmented_array.ml
    
    string_pool.ml
    
    string_printer.ml
    
    vector.ml
    
    web_application.ml
    
    yaml.ml
  - alba.fmlib_js
    
    browser.ml
    
    fmlib_js.ml
  - alba.fmlib_native
    
    fmlib_native.ml
    
    native_io.ml
  - alba.fmlib_node
    
    file_system.ml
    
    fmlib_node.ml
    
    io_buffer.ml
    
    node_io.ml
    
    path.ml
    
    process.ml
    
    readline.ml

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

Module `Term.Inductive`Source

Inductive types

Sourcetype term = t

Sourcetype t

Source

val make_simple_inductive : 
  int ->
  formal_argument list ->
  formal_argument ->
  formal_argument list ->
  inductive

package alba

Module Term.InductiveSource

Module `Term.Inductive`Source