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

type t

val base : t

val get_typ : t -> Tiger_symbol.t -> Tiger_env_type.t option
val get_val : t -> Tiger_symbol.t -> Tiger_env_value.t option

val set_typ : t -> Tiger_symbol.t -> Tiger_env_type.t -> t
val set_val : t -> Tiger_symbol.t -> Tiger_env_value.t -> t

val loop_begin   : t -> (Tiger_symbol.t * t)
val loop_end     : t ->  Tiger_symbol.t -> t
val loop_current : t ->  Tiger_symbol.t option

val level_set : t -> Tiger_translate.Level.t -> t
val level_get : t -> Tiger_translate.Level.t
Commit	Line	Data
	1	type t
	2
	3	val base : t
	4
	5	val get_typ : t -> Tiger_symbol.t -> Tiger_env_type.t option
	6	val get_val : t -> Tiger_symbol.t -> Tiger_env_value.t option
	7
	8	val set_typ : t -> Tiger_symbol.t -> Tiger_env_type.t -> t
	9	val set_val : t -> Tiger_symbol.t -> Tiger_env_value.t -> t
	10
	11	val loop_begin : t -> (Tiger_symbol.t * t)
	12	val loop_end : t -> Tiger_symbol.t -> t
	13	val loop_current : t -> Tiger_symbol.t option
	14
	15	val level_set : t -> Tiger_translate.Level.t -> t
	16	val level_get : t -> Tiger_translate.Level.t