Language Glossary

From dis-Emi-A

scenario 

for a given closure a scenario is the complete typing associated with that code block. In a partially typed scenario some items are still untyped, whereas in a fully typed scenario all items have a fully qualified type.