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 pp : F.formatter -> t -> unit