6 Type Type GenType splitFunTy splitSigmaTy splitRhoTy applyTy;
8 1 type Type = GenType TyVar!TyVar Usage.UVar ;
10 1 splitFunTy _:_ _forall_ [a b] => GenType a b -> ([GenType a b], GenType a b) ;;
11 1 splitSigmaTy _:_ _forall_ [a b] => GenType a b -> ([a],[(Class.Class,GenType a b)], GenType a b) ;;
12 1 splitRhoTy _:_ _forall_ [t u] => GenType t u -> ([(Class.Class,GenType t u)], GenType t u) ;;
13 1 applyTy _:_ Type -> Type -> Type ;;