[tiger.ml.git] / compiler / src / lib / tiger / tiger_env_value.mli

type t =
  | Var of
      {ty : Tiger_env_type.t}
  | Fun of
      { formals : Tiger_env_type.t list
      ; result  : Tiger_env_type.t
      }

type env =
  (Tiger_symbol.t, t ) Tiger_map.t

val built_in : env
Commit	Line	Data
c0bdf964 SK	1	type t =
	2	\| Var of
	3	{ty : Tiger_env_type.t}
	4	\| Fun of
	5	{ formals : Tiger_env_type.t list
	6	; result : Tiger_env_type.t
	7	}
	8
	9	type env =
	10	(Tiger_symbol.t, t ) Tiger_map.t
	11
	12	val built_in : env