sig val check_alerts : Location.t -> Parsetree.attributes -> string -> unit val check_alerts_inclusion : def:Location.t -> use:Location.t -> Location.t -> Parsetree.attributes -> Parsetree.attributes -> string -> unit val alerts_of_attrs : Parsetree.attributes -> Misc.alerts val alerts_of_sig : Parsetree.signature -> Misc.alerts val alerts_of_str : Parsetree.structure -> Misc.alerts 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_alert : 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 immediate64 : Parsetree.attributes -> bool val has_unboxed : Parsetree.attributes -> bool val has_boxed : Parsetree.attributes -> bool end