In a normal dictionary, letters follow a through z, but an alien language may use a different alphabet order. Given a list of words words and a string order describing that alphabet, check whether the words are sorted lexicographically by the alien rules. Return True if they are in order, otherwise return False.

def is_alien_sorted(words: list[str], order: str) -> bool: