Wikidata

(Q3546108)

English

bottom type

type that is the subtype of all other types; equivalent to the empty type if uninhabited

  • zero type
  • empty type
In more languages
default for all languages
No label defined

No description defined

Statements

subclass of
data type
0 references
studied in
type theory
0 references
notation
up tack
0 references
opposite of
top type
0 references
different from
element
0 references
empty type
0 references

Identifiers

Freebase ID
/m/0b5h1x
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                • wikifunctionswiki Z23
                Retrieved from "https://www.wikidata.org/w/index.php?title=Q3546108&oldid=2070251017"