compiler/src/lib/tiger/tiger_env_value.mli

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