let
is_defined name =
F
.has_declaration (
"Hyp_"
^ name)