Searched defs:ForallVisT (Results 1 – 4 of 4) sorted by relevance
2514 | ForallVisT [TyVarBndr ()] Type -- ^ @forall \<vars\> -> \<type\>@ constructor
2356 | ForallVisT [TyVarBndr] Type -- ^ @forall \<vars\> -> \<type\>@ constructor
2557 | ForallVisT [TyVarBndr ()] Type -- ^ @forall \<vars\> -> \<type\>@ constructor