Module Hints.FullHintSource

Sourcetype t
Sourceval priority : t -> int
Sourceval pattern : t -> Pattern.constr_pattern option
Sourceval database : t -> string option
Sourceval name : t -> hints_path_atom
Sourceval print : Environ.env -> Evd.evar_map -> t -> Pp.t
Sourceval subgoals : t -> int option
Sourceval repr : t -> hint hint_ast

This function is for backward compatibility only, not to use in newly written code.