:***: | |
1 (Type/Class) | Type.Function |
2 (Data Constructor) | Type.Function |
::∈: | Type.Set |
:==: | Type.Set |
:~>: | Type.Function |
:~~>: | Type.Function |
:×: | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
:∈: | Type.Set |
:∩: | Type.Set |
:∪: | Type.Set |
:⊆: | Type.Set |
:○: | Type.Function |