Project

General

Profile

Revision 6cf31814 src/corelang.mli

View differences:

src/corelang.mli
61 61
| Expr_ite   of expr * expr * expr
62 62
| Expr_arrow of expr * expr
63 63
| Expr_fby of expr * expr
64
(*
65
| Expr_struct of (label * expr) list
66
| Expr_field of expr * label
67
| Expr_update of expr * (label * expr)
68
*)
64 69
| Expr_array of expr list
65 70
| Expr_access of expr * Dimension.dim_expr (* acces(e,i) is the i-th element 
66 71
					      of array epxression e *)

Also available in: Unified diff