let ty_set = Constr.constants_of ty in
let hyp_set = signature_of_hypothesis context metasenv in
let set = Constr.UriManagerSet.union ty_set hyp_set in
let ty_set = Constr.constants_of ty in
let hyp_set = signature_of_hypothesis context metasenv in
let set = Constr.UriManagerSet.union ty_set hyp_set in