_interface_ TcUnify 1
_exports_
TcUnify unifyTauTy;
_declarations_
1 unifyTauTy _:_ TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM () ;;