package tip-parser

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type token =

exception Error

val parse_ty : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tip_ast.ty

val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tip_ast.term

val parse_list : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  Tip_ast.statement list

val parse : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tip_ast.statement