Index of exceptions
V
Var_unbound
[
Prop_logic
]
exception that is raised when a unbound variable is looked up