10 lines
146 B
OCaml
10 lines
146 B
OCaml
|
type id = string
|
||
|
|
|
||
|
|
type ty_annot = id * string
|
||
|
|
|
||
|
|
type expr =
|
||
|
|
Fun of ty_annot * expr
|
||
|
|
| App of expr * expr
|
||
|
|
| Var of id
|
||
|
|
| Exf of expr * string
|