File: parser.mli

package info (click to toggle)
ocaml-doc 3.09-1
  • links: PTS
  • area: non-free
  • in suites: etch, etch-m68k
  • size: 10,428 kB
  • ctags: 4,963
  • sloc: ml: 9,244; makefile: 2,413; ansic: 122; sh: 49; asm: 17
file content (25 lines) | stat: -rw-r--r-- 577 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
(* $Id: parser.mli,v 1.1.1.1 2002/05/28 15:59:16 weis Exp $ *)

open Token;;

type asl =
   | Const of int
   | Var of int
   | Cond of asl * asl * asl
   | App of asl * asl
   | Abs of string * asl

and top_asl = Decl of string * asl;;

exception Unbound of string;;

val init_env : string list;;
val global_env : string list ref;;

val top : token_type Stream.t -> top_asl;;
val expr : token_type Stream.t -> string list -> asl;;
val expr0 : token_type Stream.t -> string list -> asl;;

val print_top : top_asl -> string Stream.t;;
val print_expr : asl -> string Stream.t;;