package lambda

You can search for identifiers within the package.

in-package search v0.2.0

lambda
- README
- Library lambda
  - Lambda
    
    Bool
    
    Church
    
    L
    
    Lexer
    
    Parse
    
    Parser
- Sources
  - lambda
    
    bool.ml
    
    church.ml
    
    l.ml
    
    lambda.ml
    
    lexer.ml
    
    parse.ml
    
    parser.ml

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

Module `Lambda.Parser`Source

Sourcetype token =

| TVAR of string
| TPAREN_RIGHT
| TPAREN_LEFT
| TLAMBDA
| TEOF
| TDOT

Sourceexception Error

Sourceval prog : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> L.term