package lambda

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | TVAR of string
  2. | TPAREN_RIGHT
  3. | TPAREN_LEFT
  4. | TLAMBDA
  5. | TEOF
  6. | TDOT
exception Error
val prog : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> L.term