fromAccess | Agda.Unused.Types.Access |
fromAsName | Agda.Unused.Types.Name |
fromContext | Agda.Unused.Types.Context |
fromList | Agda.Unused.Types.Root |
fromName | Agda.Unused.Types.Name |
fromNameRange | Agda.Unused.Types.Name |
fromQName | Agda.Unused.Types.Name |
fromQNameRange | Agda.Unused.Types.Name |