PulseAttribute.UninitializedTyptype t = | Value| Const of IR.Fieldname.t| DictMissingKey of {dict : DecompilerExpr.t;key : IR.Fieldname.t;}include Ppx_compare_lib.Comparable.S with type t := tval compare : t Base__Ppx_compare_lib.compareinclude Ppx_compare_lib.Equal.S with type t := tval equal : t Base__Ppx_compare_lib.equalval yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.tval pp : F.formatter -> t -> unit