Suppose I have some locale where a type-class can be inferred from the assumptions. locale some_locale = fixes xs :: "'x list" assumes xs_contains_UNIV: "se
nsoperationqueue
edmonds-karp
hopper
border-image
propositional-calculus
unicode-range
hookrouter
powershell
django-2.0
fstream
modifier
multer
docker-entrypoint
getmessage
laravel-schema-builder
executionengineexception
code-server
stdmove
console2
jquery-query-builder
source-engine
messageid
debugging
hatchstyle
aiff
code128
custom-attribute
xml-nil
flatlaf
iobluetooth
