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 : record_fields
  11       }
  12   | Array of
  13       { unique : unique
  14       ; ty     : t
  15       }
  16   | Name of Tiger_symbol.t * t option ref
  17 and record_fields =
  18   (Tiger_symbol.t * t) list
  19
  20 type env =
  21   (Tiger_symbol.t, t ) Tiger_map.t
  22
  23 val built_in : env
  24
  25 val is_equal  : t -> t -> bool
  26
  27 val is_int    : t -> bool
  28 val is_string : t -> bool
  29 val is_array  : t -> bool
  30 val is_record : t -> bool
  31 val is_name   : t -> bool
  32
  33 val if_record : t -> f:(record_fields -> 'a) -> otherwise:(unit -> 'a) -> 'a
  34
  35 val new_record : record_fields -> t
  36 val new_array  : t -> t
  37
  38 val to_string : t -> string