Confirmed users, Bureaucrats and Sysops emeriti
419
edits
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Types: | Types: | ||
<pre> | <pre> | ||
Principal = (System, Origin, | Principal = (System, Origin, Unknown) // disjoint type union | ||
System = {system} // system principal singleton | System = {system} // system principal singleton | ||
Origin = {origin1, ... originN} // set of N origin principals | Origin = {origin1, ... originN} // set of N origin principals | ||