sig
  val check_deprecated : Location.t -> Parsetree.attributes -> string -> unit
  val check_deprecated_inclusion :
    def:Location.t ->
    use:Location.t ->
    Location.t ->
    Parsetree.attributes -> Parsetree.attributes -> string -> unit
  val deprecated_of_attrs : Parsetree.attributes -> string option
  val deprecated_of_sig : Parsetree.signature -> string option
  val deprecated_of_str : Parsetree.structure -> string option
  val check_deprecated_mutable :
    Location.t -> Parsetree.attributes -> string -> unit
  val check_deprecated_mutable_inclusion :
    def:Location.t ->
    use:Location.t ->
    Location.t ->
    Parsetree.attributes -> Parsetree.attributes -> string -> unit
  val check_no_deprecated : Parsetree.attributes -> unit
  val error_of_extension : Parsetree.extension -> Location.error
  val warning_attribute : ?ppwarning:bool -> Parsetree.attribute -> unit
  val warning_scope :
    ?ppwarning:bool -> Parsetree.attributes -> (unit -> 'a) -> 'a
  val warn_on_literal_pattern : Parsetree.attributes -> bool
  val explicit_arity : Parsetree.attributes -> bool
  val immediate : Parsetree.attributes -> bool
  val has_unboxed : Parsetree.attributes -> bool
  val has_boxed : Parsetree.attributes -> bool
end