directives1: STS Unavailable

directives1 defines the following Names, but STS signatures are not currently available.

• evaluate
• evaluate_to_type
• look_up
• response
• prove
• disprove
• prove_in_theory
• find
• decide
• explore