Q1781552

type in a nominative type system that cannot be instantiated directly
edit
$UNIQ002e564b2575215e#2$

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit