(Q1307872)

English

unit type

type allowing only one value in type theory

Statements

Identifiers

0 references
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                • wikifunctionswiki Z21