package alba

You can search for identifiers within the package.

in-package search v0.2.0

package alba

doc
- Alba
- Fmlib_overview
- Library alba.albalib
  - Albalib
    
    Alba_console
    
    Make
    
    Ast
    
    Located
    
    Expression
    
    Operator_expression
    
    Source_entry
    
    Build_context
    
    Product
    
    Typed
    
    Application
    
    Lambda
    
    Where
    
    Build_expression
    
    Build_inductive
    
    Build_problem
    
    Print
    
    Builder
    
    Module
    
    Make
    
    Parser_lang
    
    Problem
    
    Command
    
    Source_file
    
    ERROR
    
    SIG
    
    Error
    
    Error_printer
    
    Make
    
    Error
    
    Error_printer
    
    Printer
    
    Make
    
    Repl
    
    Make
    
    Standard_context
    
    Test_builder
    
    Pretty_printer
    
    Term_print
    
    Expression
    
    Expression_parser
    
    Error
    
    Error_printer
    
    Error_print
    
    Test_inductive
    
    Inductive_parser
    
    Error
    
    Error_printer
    
    Expression_parser
    
    Error
    
    Error_printer
- Library alba.core
  - Alba_core
    
    Sort
    
    Value
    
    Term
    
    Lambda_info
    
    Pi_info
    
    Application_info
    
    Monadic
    
    Inductive
    
    Inductive
    
    Header
    
    Constructor
    
    Type
    
    Operator
    
    Gamma
    
    Typecheck
    
    Problem
    
    Name_map
    
    Context
    
    Pretty
    
    Unifier
    
    HOLES
    
    Make
    
    Gamma_holes
    
    Gamma_algo
    
    GAMMA
    
    Make
    
    Term_printer
    
    GAMMA
    
    Pretty
    
    String_print
    
    Print_inductive
    
    GAMMA
    
    Make
- Library alba.fmlib
  - Fmlib
    
    Position
    
    Print
    
    Character_parser
    
    Located
    
    CONTEXT
    
    Indent
    
    PARSER
    
    COMBINATORS
    
    Simple
    
    Context
    
    Error
    
    Normal
    
    Context
    
    Error
    
    Advanced
    
    Context
    
    Error
    
    Generic_parser
    
    ERROR
    
    COMBINATORS
    
    Make
    
    Error
    
    Pretty_print
    
    Pretty_printer
    
    PRINTER
    
    SIG
    
    Pretty
    
    Io
    
    Error
    
    STAT
    
    SIG
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    Stdout
    
    Stderr
    
    Output
    
    Make_io
    
    SIG
    
    M
    
    Read
    
    Write
    
    Make
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    Stdout
    
    Stderr
    
    String_printer
    
    Web_application
    
    DECODER
    
    ENCODER
    
    WEB_APPLICATION
    
    Attribute
    
    Dom
    
    Command
    
    Subscription
    
    BROWSER
    
    Decoder
    
    Encoder
    
    Make
    
    Make
    
    Attribute
    
    Dom
    
    Command
    
    Subscription
    
    Module_types
    
    ANY
    
    SORTABLE
    
    FUNCTOR
    
    APPLICATIVE
    
    MONAD0
    
    MONAD
    
    READABLE
    
    WRITABLE
    
    Array
    
    Monadic
    
    List
    
    Monadic
    
    Deque
    
    Finite_map
    
    S
    
    Make
    
    Monad
    
    SIG_MIN
    
    SIG_WITH_MAP
    
    RESULT
    
    Of_sig_min
    
    Of_sig_with_map
    
    Identity
    
    Result
    
    Option
    
    Pool
    
    Red_black
    
    Map
    
    Set
    
    Readable_printer
    
    R
    
    Result
    
    Make
    
    Sequence
    
    Vector
    
    Common
    
    Void
    
    Unit
    
    Int
    
    Int_set
    
    Int_map
    
    Either
    
    Char
    
    String
    
    To_readable
    
    From_readable
    
    String_set
    
    String_map
    
    Interval
    
    Monadic
    
    String_reader
    
    Fill_reader
    
    Char_reader
    
    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
    
    Read
    
    Stdout
    
    Stderr
- Library alba.fmlib_node
  - Fmlib_node
    
    File_system
    
    Io_buffer
    
    Read
    
    Write
    
    Node_io
    
    IO
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    Stdout
    
    Stderr
    
    Path
    
    Process
    
    Readline
- Sources
  - alba.albalib
    
    alba_console.ml
    
    albalib.ml
    
    ast.ml
    
    build_context.ml
    
    build_expression.ml
    
    build_inductive.ml
    
    build_problem.ml
    
    builder.ml
    
    module.ml
    
    parser_lang.ml
    
    printer.ml
    
    repl.ml
    
    standard_context.ml
    
    test_builder.ml
    
    test_inductive.ml
  - alba.core
    
    alba_core__.ml
    
    build.ml
    
    context.ml
    
    gamma.ml
    
    gamma_algo.ml
    
    gamma_holes.ml
    
    inductive.ml
    
    name_map.ml
    
    operator.ml
    
    print_inductive.ml
    
    sexp_parser.ml
    
    sort.ml
    
    term.ml
    
    term_printer.ml
    
    term_trie.ml
    
    type_error.ml
    
    typecheck.ml
    
    unifier.ml
    
    value.ml
    
    welltyped.ml
  - alba.fmlib
    
    argument_parser.ml
    
    array.ml
    
    character_parser.ml
    
    common.ml
    
    deque.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
    
    position.ml
    
    pretty_print.ml
    
    pretty_printer.ml
    
    pretty_state.ml
    
    readable_printer.ml
    
    red_black.ml
    
    result.ml
    
    sequence.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 `Build_context.Application`Source

Sourceval start : int -> t -> t

start nargs bc Start a function application with nargs arguments.

Source

val apply : 
  int ->
  Alba_core.Term.Application_info.t ->
  t ->
  (t, type_in_context * type_in_context) result

apply n_remaining mode bc Apply the function to the argument. There are n_remaining remaining arguments.

package alba

Module Build_context.ApplicationSource

Module `Build_context.Application`Source