package gobba

You can search for identifiers within the package.

in-package search v0.2.0

gobba
- Gobba
  - Charp
  - Completion
    
    Trie
  - Complexp
  - Dictp
  - Errors
  - Estack
  - Eval
  - Expr
  - Iop
  - Lexer
  - Listp
  - Numericalp
  - Optimizer
  - Parsedriver
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Primitives
  - Primutil
  - Puritycheck
  - Repl
    
    StringSet
  - Stringp
  - Testing
  - Typecheck
  - Typep
  - Types
  - Util
    
    Dict
  - Values

Legend:
Library
Module
Module type
Parameter
Class
Class type

val parser : Lexing.lexbuf -> Types.command list

val lambda_of_string : string -> string -> Types.evt

An helper function that helps extracting closures from strings, to be used as functions in the standard library. An empty environment is used since primitives in the standard library should not be able to access external values TODO: compute at compile time