_interface_ Subst 2
_exports_ Subst Subst substTyWith ;
_declarations_
1 data Subst;
1 substTyWith _:_ [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;;