Module `Heads`

This module is about the computation of an approximation of the head symbol of defined constants and local definitions; it provides the function to compute the head symbols and a table to store the heads

val declare_head : Names.evaluable_global_reference -> unit

val is_rigid : Environ.env -> Constr.constr -> bool