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

type t =
  | Var of
      { access : Tiger_translate.access
      ; ty     : Tiger_env_type.t
      }
  | Fun of
      { formals : Tiger_env_type.t list
      ; result  : Tiger_env_type.t
      ; level   : Tiger_translate.Level.t
      ; label   : Tiger_temp.Label.t
      }

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

val built_in : env
Commit	Line	Data
c0bdf964 SK	1	type t =
c0bdf964 SK	2	\| Var of
cc540a7e SK	3	{ access : Tiger_translate.access
	4	; ty : Tiger_env_type.t
	5	}
c0bdf964 SK	6	\| Fun of
	7	{ formals : Tiger_env_type.t list
	8	; result : Tiger_env_type.t
cc540a7e SK	9	; level : Tiger_translate.Level.t
cc540a7e SK	10	; label : Tiger_temp.Label.t
c0bdf964 SK	11	}
	12
	13	type env =
	14	(Tiger_symbol.t, t ) Tiger_map.t
	15
	16	val built_in : env