compiler/src/lib/tiger/tiger_env_type.mli

   1 type unique
   2
   3 type t =
   4   | Unit
   5   | Nil
   6   | Int
   7   | String
   8   | Record of
   9       { unique : unique
  10       ; fields : (Tiger_symbol.t * t) list
  11       }
  12   | Array of
  13       { unique : unique
  14       ; ty     : t
  15       }
  16   | Name of Tiger_symbol.t * t option ref
  17
  18 type env =
  19   (Tiger_symbol.t, t ) Tiger_map.t
  20
  21 val built_in : env
  22
  23 val is_equal  : t -> t -> bool
  24 val is_record : t -> bool
  25 val is_int    : t -> bool
  26 val is_name   : t -> bool
  27
  28 val new_record : (Tiger_symbol.t * t) list -> t
  29 val new_array  : t -> t
  30
  31 val to_string : t -> string