Top type

Universal type in logic and computer science From Wikipedia, the free encyclopedia