compiler/src/lib/tiger/tiger_env.mli

   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