Module Heads

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