empty

Shorthand for of with every parameter defaulted, i.e. a scope backed by a brand-new, empty Scope and the defaultUnificator unification strategy.