Module IR.ErlangTypeName

type t =
  1. | Any
  2. | Atom
  3. | Integer
  4. | Cons
  5. | Nil
  6. | Tuple of int
  7. | Map
  8. | GenServerPid of {
    1. module_name : string option;
    }
  9. | ModuleInfo
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
val hash_normalize : t -> t
val hash_normalize_opt : t option -> t option
val hash_normalize_list : t list -> t list
val pp : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
val from_string : string -> t option
val atom_name : string
val atom_hash : string
val atom_true : string
val atom_false : string
val module_info_field_name : string
val module_info_attributes_class_name : string
val calculate_hash : string -> int
val integer_value : string
val cons_head : string
val cons_tail : string
val tuple_elem : int -> string
val tuple_field_names : int -> string list
val erlang_namespace : string
val unsupported : string
val infer_erlang_namespace : string